利用頻度は少ないと思うのですが、ini_set(),ini_get(), date_default_timezone_set()等の引数の補完のサポートをPHP Enhancementsプラグインに追加しようと思います。
PhpStormはすでに補完をサポートしているプラグインがあるようです。
利用頻度は少ないと思うのですが、ini_set(),ini_get(), date_default_timezone_set()等の引数の補完のサポートをPHP Enhancementsプラグインに追加しようと思います。
PhpStormはすでに補完をサポートしているプラグインがあるようです。