Added some links to PHP tools in php.html