this is used only inside the ``if (!$developer instanceof Developer) { `` so it should be moved there