diff options
author | Prateek Saxena <prtksxna@gmail.com> | 2018-07-16 10:00:25 +0530 |
---|---|---|
committer | Prateek Saxena <prtksxna@gmail.com> | 2018-07-16 10:00:25 +0530 |
commit | d85cba415ea2ef2abc549178fc7691081f92c74b (patch) | |
tree | 2e7b531364eee298d134882a52e513116bf7333e /languages/i18n/en.json | |
parent | dbb952a579f7b177440e49a2f588cc7a7344e148 (diff) | |
download | mediawikicore-d85cba415ea2ef2abc549178fc7691081f92c74b.tar.gz mediawikicore-d85cba415ea2ef2abc549178fc7691081f92c74b.zip |
LogEventsList: Remove unused messages
…and update documentation for $wgFilterLogTypes.
Follows-up on Iba3c6aa5ac40dcdee0792c2d045b238b02d76521.
Bug: T199657
Change-Id: I46c5836e4131423f930d59a1c5e7937339478c33
Diffstat (limited to 'languages/i18n/en.json')
-rw-r--r-- | languages/i18n/en.json | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/languages/i18n/en.json b/languages/i18n/en.json index 8d5bc7200c5b..0114a69622d7 100644 --- a/languages/i18n/en.json +++ b/languages/i18n/en.json @@ -3107,8 +3107,6 @@ "markedaspatrollederrornotify": "Marking as patrolled failed.", "patrol-log-page": "Patrol log", "patrol-log-header": "This is a log of patrolled revisions.", - "log-show-hide-patrol": "$1 patrol log", - "log-show-hide-tag": "$1 tag log", "confirm-markpatrolled-button": "OK", "confirm-markpatrolled-top": "Mark revision $3 of $2 as patrolled?", "deletedrevision": "Deleted old revision $1", |