Search PHP's documentation from the command line. - View it on GitHub