propelorm/Propel — pull request #793 by prgTW (2013-11-13 17:23:58+00:00)
Title: Update PropelMigrationManager.php

code insight in migration classes in IDEs