Manual:PatchSql.php

Details
patchSql.php file is a 2>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to manually run an SQL patch outside of the general updaters.