Adds a checkbox to the page settings pane of the meta dialog that lets users set or unset the __NOEDITSECTION__ flag on the page. Change-Id: If1eca58e28d214021f5f5582856e595d4d0fbc43