jenkins-bot has submitted this change and it was merged. Change subject: mediawiki/conf.d/_join.php minor fix + comment update ......................................................................
mediawiki/conf.d/_join.php minor fix + comment update Follow up 1d5d362 https://gerrit.wikimedia.org/r/#/c/89837/ Change-Id: I2f61d02a9770c31f2313698dcdad16ad37f9e542 --- M mediawiki/conf.d/_join.php 1 file changed, 6 insertions(+), 5 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/mediawiki/conf.d/_join.php b/mediawiki/conf.d/_join.php index 454e273..4aebb89 100644 --- a/mediawiki/conf.d/_join.php +++ b/mediawiki/conf.d/_join.php @@ -7,7 +7,7 @@ * @license GPL v2.0 */ -$settingFiles = new GlobIterator( __DIR__ . '/[0-9][0-9]*.php'); +$settingFiles = new GlobIterator( __DIR__ . '/[0-9][0-9]*.php' ); # Make sure we start by closing LocalSettings.php tag $content = '?>'; @@ -23,14 +23,14 @@ # Files must start with T_OPEN_TAG $tokens = token_get_all($source); - if( $tokens[0][0] !== T_OPEN_TAG) { + if( $tokens[0][0] !== T_OPEN_TAG ) { fwrite( STDERR, "File '$fname' does not start with '<?php' .. skipping.\n" ); continue; } # Files must not contains a T_CLOSE_TAG since we are appending them $hasCloseTag = false; - foreach($tokens as $token) { + foreach( $tokens as $token ) { if( $token[0] === T_CLOSE_TAG ) { $hasCloseTag = true; break; @@ -45,6 +45,7 @@ $content .= $source . "\n?>"; } -# Ideally we should make sure the resulting source code is valid php but I am -# too lazy. +# On Wikimedia CI Jenkins, the resulting PHP will be appended to +# LocalSettings.php by the bin/mw-apply-settings.sh script. That one also run +# php -l on LocalSettings.php to ensure it is valid. print $content; -- To view, visit https://gerrit.wikimedia.org/r/90114 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2f61d02a9770c31f2313698dcdad16ad37f9e542 Gerrit-PatchSet: 3 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
