Update mysql.diff.php