Tech:Removing an extension

If a decision has been made to remove an extension from Miraheze for whatever reason (i.e. it's unmaintained, it isn't compatible with the current version of MediaWiki, etc.) the following procedure should be followed when removing an extension. Any user can create a pull request to remove an extension, but it has to be merged and deployed by a sysadmin.

The steps below must be done in this order:


 * 1) Run   as   in order to disable the extension on all Miraheze wikis
 * 2) Remove configuration from ManageWikiExtensions.php, LocalSettings.php, LocalExtensions.php and extension-list. (Note: If the extension has extra settings in ManageWikiSettings.php, make sure to remove that too)
 * 3) Remove the submodule from the MediaWiki repository after the settings above have been successfully removed.