Stop using Gerrit's MediaWiki/mediawiki-extensions.txt

Chad hates the fact the thing exists, so we shouldn't depend on it.

Change-Id: I25af884fb76173edbc4c6a035adb81eb1d3d81df