You can just replace the `switch` block with a call to `forward_static_call_array()`. It used to be faster to dispatch manually, but subsequent PHP versions have been sufficiently optimized that this is actually slower. Come to think of it, we should probably update `Object` and `StaticObject` as well.