Change Details

See for example "Filter translations" at https://meta.wikimedia.org/wiki/Special:RecentChanges . I think this can be converted to STRING_OPTIONS, maybe with an imply.

See for example "Filter translations" at https://meta.wikimedia.org/wiki/Special:RecentChanges . I think this can be converted to STRING_OPTIONS, maybe with an imply ([setAsSuperSetOf](https://doc.wikimedia.org/mediawiki-core/master/php/classChangesListFilter.html#a7786bceaafce49459c4daff2211c4ea8)).

See for example "Filter translations" at https://meta.wikimedia.org/wiki/Special:RecentChanges . I think this can be converted to STRING_OPTIONS, maybe with an imply ([setAsSuperSetOf](https://doc.wikimedia.org/mediawiki-core/master/php/classChangesListFilter.html#a7786bceaafce49459c4daff2211c4ea8)).