libretime/dev_tools/gen_doctrine_migration.php

<?php
    $dir = __DIR__;
    $command = "php $dir/../library/doctrine/migrations/doctrine-migrations.phar --configuration=$dir/../install/DoctrineMigrations/migrations.xml --db-configuration=$dir/../library/doctrine/migrations/migrations-db.php --no-interaction migrations:generate";
    system($command);