Keyword "php" is a suitable decision: same text as if you search google, but no intermediate page.
It is even better than google, because the latter likes to show localized versions of php manual.

Resulting query does not contain garbage parts (like "&src=").