Manual:PatchSql.php

Details
patchSql.php file is a maintenance script to manually run an SQL patch outside of the general updaters.

Arguments
patchSql.php accepts a argument.