jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/339889 )
Change subject: Remove unused action-message, 'action-userboard-delete'
......................................................................
Remove unused action-message, 'action-userboard-delete'
This is a partial revert of Id9611c51b56187cccb74e1cceec854399ad0dd9a.
Change-Id: I898435d7ab5acd22955ae2d0a95fb5de7bf35aea
---
M UserBoard/i18n/en.json
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Jack Phoenix: Looks good to me, approved
jenkins-bot: Verified
diff --git a/UserBoard/i18n/en.json b/UserBoard/i18n/en.json
index 76ef97e..25a9a0e 100644
--- a/UserBoard/i18n/en.json
+++ b/UserBoard/i18n/en.json
@@ -47,7 +47,6 @@
"userboard_loggedout": "You must be [[Special:UserLogin|logged in]] to
post messages to other users.",
"userboard_showingmessages": "Showing {{PLURAL:$4|message $3|messages
$2-$3}} of {{PLURAL:$1|$1 message|$1 messages}}.",
"right-userboard-delete": "Delete others' board messages",
- "action-userboard-delete": "delete others' board messages",
"userboard-time-days": "{{PLURAL:$1|one day|$1 days}}",
"userboard-time-hours": "{{PLURAL:$1|one hour|$1 hours}}",
"userboard-time-minutes": "{{PLURAL:$1|one minute|$1 minutes}}",
--
To view, visit https://gerrit.wikimedia.org/r/339889
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I898435d7ab5acd22955ae2d0a95fb5de7bf35aea
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SocialProfile
Gerrit-Branch: master
Gerrit-Owner: SamanthaNguyen <samanthanguyen1...@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Lewis Cawte <le...@lewiscawte.me>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
