Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  ae7ee162b224e8c9eb000bc286d9e3962aa9792d

Remove $wgTranslatePageMigration

Was already enabled by default.

Change-Id: I9034ef28cf57baba3ecefe6ca9004e1105baeca5