It may not have been clear, but it was mocked. The extension is not allowed to load, but the call that would have loaded it was intercepted and its parameters confirmed.