jeroendedauw f6f6657842 [ticket/12903] Remove dead phpbb\extension\metadata_manager::_validate_version ...

PHPBB3-12903

2014-08-07 17:52:59 +02:00

..

base.php

…

exception.php

…

extension_interface.php

…

manager.php

…

metadata_manager.php

[ticket/12903] Remove dead phpbb\extension\metadata_manager::_validate_version

2014-08-07 17:52:59 +02:00

provider.php

…