Manual:UpdateRestrictions.php

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