generateLocalAutoload.php 672 B

1234567891011121314151617181920212223
  1. <?php
  2. if ( PHP_SAPI != 'cli' && PHP_SAPI != 'phpdbg' ) {
  3. die( "This script can only be run from the command line.\n" );
  4. }
  5. require_once __DIR__ . '/../includes/AutoLoader.php';
  6. require_once __DIR__ . '/../includes/utils/AutoloadGenerator.php';
  7. // Mediawiki installation directory
  8. $base = dirname( __DIR__ );
  9. $generator = new AutoloadGenerator( $base, 'local' );
  10. $generator->setExcludePaths( array_values( AutoLoader::getAutoloadNamespaces() ) );
  11. $generator->initMediaWikiDefault();
  12. // Write out the autoload
  13. $fileinfo = $generator->getTargetFileinfo();
  14. file_put_contents(
  15. $fileinfo['filename'],
  16. $generator->getAutoload( 'maintenance/generateLocalAutoload.php' )
  17. );