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

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.