Jump to content

Manual:SpecialUserrights.php

From mediawiki.org

Previous class name before MediaWiki 1.40: UserrightsPage (without namespace).