Translations:Manual:Extensions/71/en


 * 1) Maybe you also have some other lines in LocalSettings.php, which have to do with the extension you want to remove.