Semantic MediaWiki and related extensions
Protection Directory Reference

Files

file  EditProtectionUpdater.php
 
file  EditProtectionValidator.php