MediaWiki

Clone of upstream MediaWiki (https://phabricator.wikimedia.org/source/mediawiki.git as of April 2022; see https://www.mediawiki.org/wiki/MediaWiki for latest repository URL if needed).