jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405920 )
Change subject: Remove dot from summary used by fixDoubleRedirects.php
......................................................................
Remove dot from summary used by fixDoubleRedirects.php
Bug: T185592
Change-Id: Iae6ab7787fcf8150f738cf361c545c796ce84f16
---
M languages/i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index 42ea35c..4cabfda 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -1916,7 +1916,7 @@
"doubleredirects-summary": "",
"doubleredirectstext": "This page lists pages that redirect to other
redirect pages.\nEach row contains links to the first and second redirect, as
well as the target of the second redirect, which is usually the \"real\" target
page to which the first redirect should point.\n<del>Crossed out</del> entries
have been solved.",
"double-redirect-fixed-move": "[[$1]] has been moved.\nIt was
automatically updated and now it redirects to [[$2]].",
- "double-redirect-fixed-maintenance": "Automatically fixing double
redirect from [[$1]] to [[$2]] in a maintenance job.",
+ "double-redirect-fixed-maintenance": "Automatically fixing double
redirect from [[$1]] to [[$2]] in a maintenance job",
"double-redirect-fixer": "Redirect fixer",
"brokenredirects": "Broken redirects",
"brokenredirects-summary": "",
--
To view, visit https://gerrit.wikimedia.org/r/405920
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iae6ab7787fcf8150f738cf361c545c796ce84f16
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio <[email protected]>
Gerrit-Reviewer: Jforrester <[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
