Completed
Pull Request — master (#1571)
by
unknown
13:33
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A RepositoryManager::hasRepository() added
A RepositoryManager::hasRepository() added