anonymous wrote on Monday, April 14, 2014:
Was just upgrading my installation when I realized I had deleted the sql_patch.php file per this artcile. Easy enough to just grab a copy of the file and set the permissions, but may be a problem for less tech savvy users. Should this file be included in the patch directory when needed?