@markstory I just checked in windows. The extension is provided by default, but needs to be enabled in php.ini by uncommenting the line. Hopefully that is not a big problem for most users :)