Extension:PageSecurity/OutputPage.php

Patched file includes/OutputPage.php for MediaWiki version 1.9.3. See patch instructions.