Extension:PageSecurity/PageSecurity.php

From mediawiki.org