Extension:ProtectText/ProtectText.php