phpのマニュアルを簡単かつ素早く参照できるようになります.
マニュアルのダウンロード
マニュアルを保存するディレクトリを作成します
$ mkdir -p ~/doc/php-manual
https://www.php.net/download-docs.php から"Many HTML files"形式のマニュアルをダウンロードします
$ cd ~/doc/php-manual
$ wget https://www.php.net/distributions/manual/php_manual_en.tar.gz
展開します
$ tar xfz php_manual_en.tar.gz
~/doc/php-manual/php-chunked-xhtml というサブディレクトリができ,HTML形式のマニュアルが解答されます