adds php.tools