Wir haben ein PHP-Befehlszeilenskript, um eine Datenbank zu versionieren. Wir führen dieses Skript immer dann aus, wenn ein Entwickler einen neuen Datenbank-Patch hinzugefügt hat. Das Skript führt den Patch mit der MySQL-Befehlszeile aus: system('mysql --user=xxx --password=xxx <...