jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359052 )
Change subject: Add newline
......................................................................
Add newline
Change-Id: I3ed5c6c8e4dc28f146f8886d60297af77ea9cd0c
---
M addWiki.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/addWiki.php b/addWiki.php
index 9d12e41..968e6e4 100644
--- a/addWiki.php
+++ b/addWiki.php
@@ -277,7 +277,7 @@
"A new wiki was created by $user at $time for a $ucsite
in $name ($lang).\nOnce the wiki is fully set up, it'll be visible at
https://$domain";
);
- $this->output( "Done. sync the config as in
https://wikitech.wikimedia.org/wiki/Add_a_wiki#MediaWiki_configuration"; );
+ $this->output( "Done. sync the config as in
https://wikitech.wikimedia.org/wiki/Add_a_wiki#MediaWiki_configuration\n"; );
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/359052
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3ed5c6c8e4dc28f146f8886d60297af77ea9cd0c
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/WikimediaMaintenance
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
