wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 18:59:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Convert gen-autoload.php to maintenance script to fix error"

Browse source
This commit is contained in:
jenkins-bot 2017-06-23 19:48:06 +00:00 committed by Gerrit Code Review
parent e0cb8b7849 2dfb4511e9
commit 90d627bbd6
1 changed files with 36 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
scripts/gen-autoload.php
View file

@ -1,10 +1,21 @@
<?php
require_once __DIR__ . '/../../../includes/utils/AutoloadGenerator.php';
// Keep in sync with same script in Flow.
// @codingStandardsIgnoreStart
function main() {
// @codingStandardsIgnoreEnd
require_once getenv( 'MW_INSTALL_PATH' ) !== false
? getenv( 'MW_INSTALL_PATH' ) . '/maintenance/Maintenance.php'
: __DIR__ . '/../../../maintenance/Maintenance.php';
/**
* Generates Echo autoload info
*/
class GenerateEchoAutoload extends Maintenance {
public function __construct() {
$this->mDescription = 'Generates Echo autoload data';
}
public function execute() {
$base = dirname( __DIR__ );
$generator = new AutoloadGenerator( $base );
$dirs = [
@ -28,5 +39,7 @@ function main() {
echo "Done.\n\n";
}
}
main();
$maintClass = "GenerateEchoAutoload";
require_once RUN_MAINTENANCE_IF_MAIN;