Extension:ProtectedTitles

See Suggestions_to_split_from_core_into_extensions

See the mediawiki-core branch "sandbox/adamw/no_protection_in_core"