jenkins-bot has submitted this change and it was merged.
Change subject: Changing position of colon
......................................................................
Changing position of colon
Change-Id: I5a973a04221f730c3b6cb4e1abf1a6d0bd95d107
---
M includes/installer/Installer.i18n.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/installer/Installer.i18n.php
b/includes/installer/Installer.i18n.php
index ff29ea8..7f2d83f 100644
--- a/includes/installer/Installer.i18n.php
+++ b/includes/installer/Installer.i18n.php
@@ -542,7 +542,7 @@
$3
-'''Note''': If you do not do this now, this generated configuration file will
not be available to you later if you exit the installation without downloading
it.
+'''Note:''' If you do not do this now, this generated configuration file will
not be available to you later if you exit the installation without downloading
it.
When that has been done, you can '''[$2 enter your wiki]'''.",
'config-download-localsettings' => 'Download
<code>LocalSettings.php</code>',
--
To view, visit https://gerrit.wikimedia.org/r/52610
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5a973a04221f730c3b6cb4e1abf1a6d0bd95d107
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
