Last modified: 2014-01-02 19:20:09 UTC
Most of the fully protected pages in Wikipedia are redirects, and there is no visible indication of which aren't. The visual differentiation can be done by css, but still it'd be more useful to filter the list to show only non-redirects. A simple "exclude redirects" checkbox in the filters box would suffice.
Note: the min/max-size parameter allows to indirectly filter out both redirects or non-redirects, so if you wish this could be closed with a WORKSFORME -- though still a real, explicit "omit redirects" option would be neater, so perhaps a LATER...
Change 104395 had a related patch set uploaded by Nemo bis: Allow hiding redirects in Special:ProtectedPages https://gerrit.wikimedia.org/r/104395
Change 104395 merged by jenkins-bot: Allow hiding redirects in Special:ProtectedPages https://gerrit.wikimedia.org/r/104395