Manual:UpdateRestrictions.php

UpdateRestrictions.php is MediaWiki maintenance script, that updates page_restrictions table from old page_restriction column.