Extension:PageSecurity/Revision.php

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