Change-Id: Idc95c9b394ae7f92e7cfd417b8eee4a5d277fa03
Extensions usually need to be upgraded at the same time as the MediaWiki core.
Extensions usually need to be upgraded at the same time as the MediaWiki core.
-In MediaWiki 1.14 some extensions are migrated into the core. Please see the
+In MediaWiki 1.14 some extensions were migrated into the core. Please see the
HISTORY section "Migrated extensions" and disable these extensions in your
LocalSettings.php
HISTORY section "Migrated extensions" and disable these extensions in your
LocalSettings.php