diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:31:04 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:58:39 +0200 |
commit | f6d65e533c62f6deb21342d4901ece24497b433e (patch) | |
tree | f28adf0362d14bcd448f7b65a7aaf38650f923aa /maintenance/generateLocalAutoload.php | |
parent | c27b2e832fe25651ef2410fae85b41072aae7519 (diff) |
Update to MediaWiki 1.25.1
Diffstat (limited to 'maintenance/generateLocalAutoload.php')
-rw-r--r-- | maintenance/generateLocalAutoload.php | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/maintenance/generateLocalAutoload.php b/maintenance/generateLocalAutoload.php new file mode 100644 index 00000000..b8caa4d9 --- /dev/null +++ b/maintenance/generateLocalAutoload.php @@ -0,0 +1,25 @@ +<?php + +if ( PHP_SAPI != 'cli' ) { + die( "This script can only be run from the command line.\n" ); +} + +require_once __DIR__ . '/../includes/utils/AutoloadGenerator.php'; + +// Mediawiki installation directory +$base = dirname( __DIR__ ); + +$generator = new AutoloadGenerator( $base, 'local' ); +foreach ( array( 'includes', 'languages', 'maintenance', 'mw-config' ) as $dir ) { + $generator->readDir( $base . '/' . $dir ); +} +foreach ( glob( $base . '/*.php' ) as $file ) { + $generator->readFile( $file ); +} + +// This class is not defined, but might be added by the installer +$generator->forceClassPath( 'MyLocalSettingsGenerator', "$base/mw-config/overrides.php" ); + +// Write out the autoload +$generator->generateAutoload( 'maintenance/generateLocalAutoload.php' ); + |