Migrating to mediawiki-phan-config

Originally posted on mastodon.technology.

My proudest work this week is removing nearly 4,000 lines of code that had been copied around to different MediaWiki extension repositories. https://gerrit.wikimedia.org/r/#/q/topic:mediawiki-phan-config