www/mediawiki143: New port, copied from www/mediawiki142

MediaWiki is the collaborative editing software that runs Wikipedia,
the free encyclopedia, and other projects.
It's designed to handle a large number of users and pages without imposing
too rigid a structure or workflow.