To be fair, that is an optional extension and not bundled into PHP by default.