diff --git a/dev_tools/gen_doctrine_migration.php b/dev_tools/gen_doctrine_migration.php
new file mode 100644
index 000000000..1dfe9deef
--- /dev/null
+++ b/dev_tools/gen_doctrine_migration.php
@@ -0,0 +1,4 @@
+<?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);