[11:49:32] would it conceptually be possible to require one of multiple different permissions for accessing a special page [11:49:34] ? [11:51:00] e.g. users with the deletelogentry permission but without the deleterevision permission can't use the interface for deleting log entries, because the RevisionDelete special page (which also contains the logic for deleting log entries) is hard-coded to require the deleterevision permission [15:23:49] ^ trying to fix that with https://gerrit.wikimedia.org/r/c/mediawiki/core/+/763531