2014-09-26 23:13:23 +00:00
|
|
|
<?php
|
|
|
|
|
|
2018-01-03 06:51:44 +00:00
|
|
|
if ( PHP_SAPI != 'cli' && PHP_SAPI != 'phpdbg' ) {
|
2014-11-14 22:27:16 +00:00
|
|
|
die( "This script can only be run from the command line.\n" );
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-24 18:05:26 +00:00
|
|
|
require_once __DIR__ . '/../includes/AutoLoader.php';
|
2014-09-26 23:13:23 +00:00
|
|
|
require_once __DIR__ . '/../includes/utils/AutoloadGenerator.php';
|
|
|
|
|
|
|
|
|
|
// Mediawiki installation directory
|
|
|
|
|
$base = dirname( __DIR__ );
|
|
|
|
|
|
|
|
|
|
$generator = new AutoloadGenerator( $base, 'local' );
|
2017-08-24 18:05:26 +00:00
|
|
|
$generator->setExcludePaths( array_values( AutoLoader::getAutoloadNamespaces() ) );
|
2016-01-20 18:27:47 +00:00
|
|
|
$generator->initMediaWikiDefault();
|
2014-09-26 23:13:23 +00:00
|
|
|
|
|
|
|
|
// Write out the autoload
|
2016-01-20 18:27:47 +00:00
|
|
|
$fileinfo = $generator->getTargetFileinfo();
|
|
|
|
|
file_put_contents(
|
|
|
|
|
$fileinfo['filename'],
|
|
|
|
|
$generator->getAutoload( 'maintenance/generateLocalAutoload.php' )
|
|
|
|
|
);
|