Joas Schilling c220fa89a1 [ticket/12963] Revert back to "migrations" folder name for extensions ...

The issues that can be created with the name change are just too much

PHPBB3-12963

2014-09-18 10:45:08 +02:00

..

base.php

[ticket/12963] Revert back to "migrations" folder name for extensions

2014-09-18 10:45:08 +02:00

exception.php

…

extension_interface.php

…

manager.php

…

metadata_manager.php

…

provider.php

…