Database schema update manager written in PHP