1 files changed, 22 insertions, 0 deletions
diff --git a/www/wiki/maintenance/generateLocalAutoload.php b/www/wiki/maintenance/generateLocalAutoload.php
new file mode 100644
index 00000000..189858c5
--- /dev/null
+++ b/www/wiki/maintenance/generateLocalAutoload.php
@@ -0,0 +1,22 @@
+<?php
+
+if ( PHP_SAPI != 'cli' && PHP_SAPI != 'phpdbg' ) {
+	die( "This script can only be run from the command line.\n" );
+}
+
+require_once __DIR__ . '/../includes/AutoLoader.php';
+require_once __DIR__ . '/../includes/utils/AutoloadGenerator.php';
+
+// Mediawiki installation directory
+$base = dirname( __DIR__ );
+
+$generator = new AutoloadGenerator( $base, 'local' );
+$generator->setExcludePaths( array_values( AutoLoader::getAutoloadNamespaces() ) );
+$generator->initMediaWikiDefault();
+
+// Write out the autoload
+$fileinfo = $generator->getTargetFileinfo();
+file_put_contents(
+	$fileinfo['filename'],
+	$generator->getAutoload( 'maintenance/generateLocalAutoload.php' )
+);