Extension:PageProtectionPlus/Developer Notes