Topic on Project:Support desk

What extension does the English Wikipedia use to add all of the additional page protection options/permissions?

None that I'm aware of. See Manual:$wgRestrictionLevels

Thank you!