**Feature summary**:
Add a checkbox that allows hiding translation pages to Special:PrefixIndex.
**Use case(s) and benefits**
For example, see [[//www.mediawiki.org/wiki/Special:PrefixIndex/Extension:AbuseFilter/|mw:Special:PrefixIndex/Extension:AbuseFilter/]]. The special page listed 117 subpages, in which only 27 should be counted as //independent// pages. The rest (i.e. 90 translation pages) made it extremely difficult for me to filter out contents that I don't need. There should be an option for users like me to directly hide them using a checkbox similar to Hide redirects and Strip prefix.
== Current status ==
We've added a property in the `page_prop` the to distinguish translation pages, and filter them out. New translation pages will automatically have the translations, but older translation pages have to have these properties added. Current progress on this: https://phabricator.wikimedia.org/T299308#9333468