jenkins-bot has submitted this change and it was merged.
Change subject: Minor syntax error
......................................................................
Minor syntax error
Change-Id: I7493a12bed64f09de1c26d8d8626a2dcd168aae7
---
M make-extension-branches/make-extension-branches
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-extension-branches/make-extension-branches
b/make-extension-branches/make-extension-branches
index 3bf9c59..6dba142 100755
--- a/make-extension-branches/make-extension-branches
+++ b/make-extension-branches/make-extension-branches
@@ -72,7 +72,7 @@
$cmd = 'ssh -p 29418 gerrit.wikimedia.org gerrit
ls-projects -p';
$list = array_merge(
explode( "\n", shell_exec( "$cmd
mediawiki/extensions" ) ),
- explode( "\n", shell_exec( "$cmd
mediawiki/skins" ) ),
+ explode( "\n", shell_exec( "$cmd
mediawiki/skins" ) )
);
// Trim leading/trailing whitespace
$list = array_map( 'trim', $list );
--
To view, visit https://gerrit.wikimedia.org/r/286929
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7493a12bed64f09de1c26d8d8626a2dcd168aae7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
