And I of course forgot to commit ProtectionForm.php in r106567...