Updating home page for php.tools