The native PHP extension used by the Omni universal shell.