Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/373630 )
Change subject: Remove dot at end from extension description
......................................................................
Remove dot at end from extension description
Consistency tweak for extension active on translatewiki.net
Description on Special:Version does not end with a dot
Change-Id: I76b001b6d95bfb9543ee0bd404e24537db814a67
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/DeletePagesForGood
refs/changes/30/373630/1
diff --git a/i18n/en.json b/i18n/en.json
index bba3bbc..4aaa250 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -3,7 +3,7 @@
"authors": []
},
"deletepagesforgood-extensionname": "DeletePagesForGood",
- "deletepagesforgood-desc": "Allows users to delete pages permanently
from database by adding a new delete tab to each page.",
+ "deletepagesforgood-desc": "Allows users to delete pages permanently
from database by adding a new delete tab to each page",
"deletepagesforgood-deletepagetitle": "Permanently delete \"$1\"",
"deletepagesforgood-delete_permanently": "Delete page permanently",
"deletepagesforgood-del_impossible": "This page can not be deleted
permanently",
--
To view, visit https://gerrit.wikimedia.org/r/373630
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I76b001b6d95bfb9543ee0bd404e24537db814a67
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DeletePagesForGood
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits