Vincent Petry 7aa11b4361 Do not rename primary key index when renaming table ... When the migrator renames a table, for example for upgrade simulation, it should not rename the primary key to avoid messing up with the diff because the MySQL Doctrine code expects that index to always be called "primary".		2014-06-17 15:23:18 +02:00
..
l10n	[tx-robot] updated from transifex	2014-06-16 01:54:35 -04:00
private	Do not rename primary key index when renaming table	2014-06-17 15:23:18 +02:00
public	also handle lowercase headers	2014-06-11 01:20:09 +02:00
autoloader.php	Remove all occurences of @brief and @returns from PHPDoc	2014-05-19 17:50:53 +02:00
base.php	set logger before registrate to an error handler	2014-06-09 10:02:23 +02:00