知らんかった

PHPのサイトのマニュアルのサーチにもJavascriptで補完機能つけてる．
http://www.php.net/manual/ja/

しっかし，嫌がらせか，このJavascriptは
http://static.php.net/www.php.net/functions.js

まあ,プログラムのほうはGoogleのそれよりは読みやすいかも．
ただ一行目の補完対象のデータがいやらしい．手順知らないと生成できないし．
まあ,プログラムだけあれば，似たようなもの作れるかな．

にしても，Javascript嫌い．．．