wiki.techinc.nl/maintenance/generateAutoload.php
daniel f3007f3719 maintenance: Rename generateLocalAutoload to generateAutoload
This also makes generateAutoload work with maintenance/run.

Change-Id: I431ba0c3af83ffe0f1df457c7640b1a187048418
2023-04-20 18:46:02 +02:00

29 lines
715 B
PHP

<?php
require_once __DIR__ . '/Maintenance.php';
class GenerateAutoload extends Maintenance {
public function canExecuteWithoutLocalSettings(): bool {
return true;
}
public function getDBType(): int {
return self::DB_NONE;
}
public function execute() {
$generator = new AutoloadGenerator( MW_INSTALL_PATH, 'local' );
$generator->setPsr4Namespaces( AutoLoader::CORE_NAMESPACES );
$generator->initMediaWikiDefault();
// Write out the autoload
$fileinfo = $generator->getTargetFileinfo();
file_put_contents(
$fileinfo['filename'],
$generator->getAutoload( 'maintenance/generateLocalAutoload.php' )
);
}
}
$maintClass = GenerateAutoload::class;
require_once RUN_MAINTENANCE_IF_MAIN;