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=").

Думал уже сам написать, но нашел в поиске ваше расширение, огромное спасибо :)