jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused message 'postcomment'
......................................................................
Remove unused message 'postcomment'
* No longer used in extensions/InputBox as of 6cfaec4f1ac8.
* No longer used in skins/Nostalgia as of 76cfc18b4e38 (actually
earlier because LegacyTemplate::commentLink() was not called anyway).
Change-Id: I648cfc8ccb5396db2a4c836d9888f18133d432fb
---
M languages/i18n/en.json
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
Objections:
devunt: There's a problem with this change, please improve
diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index 33030c5..3f324d6 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -191,7 +191,6 @@
"talkpagelinktext": "Talk",
"specialpage": "Special page",
"personaltools": "Personal tools",
- "postcomment": "New section",
"addsection": "+",
"articlepage": "View content page",
"talk": "Discussion",
--
To view, visit https://gerrit.wikimedia.org/r/142184
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I648cfc8ccb5396db2a4c836d9888f18133d432fb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: PleaseStand <pleasest...@live.com>
Gerrit-Reviewer: PleaseStand <pleasest...@live.com>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: devunt <dev...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
