Extension:PageProtectionPlus

From mediawiki.org