Followup r69007, use $wgDeletedDirectory since it exists now

diff --git a/includes/installer/Installer.php b/includes/installer/Installer.php
index 798533a..354daf8 100644 (file)
--- a/includes/installer/Installer.php
+++ b/includes/installer/Installer.php
@@ -32,7 +32,7 @@ abstract class Installer {
                'wgScriptPath',
                'wgScriptExtension',
                'wgMetaNamespace',
-//             'wgDeletedDirectory',
+               'wgDeletedDirectory',
                'wgEnableUploads',
                'wgLogo',
                'wgShellLocale',