Adding php.tools as suggestion for tools to format source code