PHP CLI script to patch your database. Based on a custom database table that keeps the current version of your database schema and properly named patch files (*.sql).