Php script to manage the version control of a database