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 <krinklem...@gmail.com> Gerrit-Reviewer: Catrope <roan.katt...@gmail.com> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits