switch silex to phpspec