jenkins-bot has submitted this change and it was merged.
Change subject: Remove nonexistent messages from Resources.php
......................................................................
Remove nonexistent messages from Resources.php
Bug: T129981
Change-Id: Ifd27fdfaacc15dabfd9950890260019c7c0e8940
(cherry picked from commit e7c5456b62e98cdaf6c91a6dc97e7dc718f59386)
---
M PageTriage.php
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PageTriage.php b/PageTriage.php
index 439f831..062fea8 100644
--- a/PageTriage.php
+++ b/PageTriage.php
@@ -378,7 +378,6 @@
'pagetriage-tags-param-source-label',
'pagetriage-tags-param-free-label',
'pagetriage-tags-param-url-label',
- 'pagetriage-tags-param-category-label',
'pagetriage-tag-count-total',
'pagetriage-button-add-tag',
'pagetriage-button-add-tag-number',
@@ -571,7 +570,6 @@
'pagetriage-edits',
'pagetriage-categories',
'pagetriage-no-categories',
- 'pagetriage-images',
'pagetriage-orphan',
'pagetriage-no-author',
'pagetriage-byline',
@@ -593,7 +591,6 @@
'pagetriage-newest',
'pagetriage-oldest',
'pagetriage-triage',
- 'pagetriage-show-only',
'pagetriage-filter-show-heading',
'pagetriage-filter-reviewed-edits',
'pagetriage-filter-unreviewed-edits',
--
To view, visit https://gerrit.wikimedia.org/r/279301
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifd27fdfaacc15dabfd9950890260019c7c0e8940
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PageTriage
Gerrit-Branch: wmf/1.27.0-wmf.18
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
