mai provato a cliccare su "documentation"..?

ti da una lista di tutti i formati e relativi linguaggi in cui il manuale è disponibile... a te la scelta

http://www.php.net/docs.php