Manual:PatchSql.php

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