Update to php.tools 1.1.2