Thread:Project:Support desk/Removing an extension/reply

It is actually easy: Extensions are added by adding a line to LocalSettings.php, which basically looks like this:

require_once('extensions/folder/my-extension.php');

Remove this line and the extension is uninstalled. If you want to, you can (and if you do not want to use this extension in the future you should) remove the files of this extension inside the folder "extensions/".

Maybe you also have some other lines in LocalSettings.php, which have to do with the extension you want to remove. Most likely this will be lines, which give certain users the right to access pages, which are provided by the extension. These lines contain the variable "$wgGroupPermissions" and make some settings there. As far as they have to do with rights, which come from the removed extension, you can remove these lines as well.

Maybe your extension also has added columns to your database. I am not sure about how to get rid of them, but it might well be that the updater maintenance/update.php removes them, when you run it, after you have uninstalled the extension. (I am not sure about that, but also leaving some lines in your database won't hurt.)