Fixed bug #9167: Feature: Mark extension as write protected