Translations:Manual:$wgRestrictionLevels/13/en

They should be mapped to 'editprotected' and 'editsemiprotected' respectively when comparing against user rights.