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
