Marc Alexander 8303058ac6 Merge pull request #4689 from javiexin/ticket/15080 ...

[ticket/15080] Save unneeded file loads for extension metadata

2017-04-17 10:19:19 +02:00

..

base.php

…

exception.php

…

extension_interface.php

…

manager.php

…

metadata_manager.php

Merge pull request #4689 from javiexin/ticket/15080

2017-04-17 10:19:19 +02:00

provider.php

…