pygments option deprecated, using highlighter option instead
added missing starting php tag
Adding php.tools as suggestion for tools to format source code