Passed
Push — bugfix/which-portal ( 090ab7 )
by Tristan
35:14 queued 19:21
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A WhichPortal::urlIsManagerPortal() added