MediaWiki:Prefs-flaggedrevs-ui/ksh