Extension:PageSecurity/OutputPage.php

From mediawiki.org