This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
If a page is protected (e.g the Main_Page), there is no visual indication that it is locked. Also, the "Protect" item in the Edit dropdown goes missing as soon as protection is enabled, requiring some manual URL hacking to unprotect.
added "change protection" (unprotect) option for admins