jenkins-bot has submitted this change and it was merged. Change subject: Fix scripts/gen-autoload.php ......................................................................
Fix scripts/gen-autoload.php Change-Id: Iebc6ec5cfe1308cddc828165c8b45e032de7ac57 --- M scripts/gen-autoload.php 1 file changed, 3 insertions(+), 2 deletions(-) Approvals: Smalyshev: Looks good to me, approved Cindy-the-browser-test-bot: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/scripts/gen-autoload.php b/scripts/gen-autoload.php index fde52a0..4adc7d0 100644 --- a/scripts/gen-autoload.php +++ b/scripts/gen-autoload.php @@ -5,7 +5,7 @@ function main() { $base = dirname( __DIR__ ); $generator = new AutoloadGenerator( $base ); - foreach ( array( 'includes', 'maintenance' ) as $dir ) { + foreach ( array( 'includes', 'maintenance', 'profiles' ) as $dir ) { $generator->readDir( $base . '/' . $dir ); } foreach ( glob( $base . '/*.php' ) as $file ) { @@ -13,7 +13,8 @@ } $generator->readFile( dirname( __DIR__ ) . '/tests/unit/TestUtils.php' ); - $generator->generateAutoload( basename( __DIR__ ) . '/' . basename( __FILE__ ) ); + $data = $generator->getAutoload( basename( __DIR__ ) . '/' . basename( __FILE__ ) ); + file_put_contents( $generator->getTargetFileinfo()['filename'], $data ); echo "Done.\n\n"; } -- To view, visit https://gerrit.wikimedia.org/r/303534 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iebc6ec5cfe1308cddc828165c8b45e032de7ac57 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CirrusSearch Gerrit-Branch: master Gerrit-Owner: DCausse <dcau...@wikimedia.org> Gerrit-Reviewer: Cindy-the-browser-test-bot <bernhardsone...@gmail.com> Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org> Gerrit-Reviewer: Gehel <gleder...@wikimedia.org> Gerrit-Reviewer: Manybubbles <never...@wikimedia.org> Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits