Ese manual de PHP no sabía que lo tuvieras (no tengo ni "papa" de php, pero nunca está de más llenar la biblioteca, aunque sea para adornar). Lo dicho, que el de php ya tiene 52 hits
Por cierto, ¿el manual 8 es el mismo que el 6?. El 8 me dice que no existe ¿serán por la /x esa?...