phpの開発にはphp stormを使っています。素人なりに色々やっていますが、いかんせん英語なのと高性能すぎてまだ上手く扱えません。よぼよぼ。
プラグインの追加の仕方をメモしておきます。
メニューより「file>setting>plugin」でプラグイン検索メニューを出します。
次に、下部にある「install plugin from disc」からウインドウを出し、プラグインを設置してある場所を探します。
見つけたらOKを押し、プラグイン一覧に該当プラグインが表示されてればこれもOKを押します。
リスタートすれば導入完了です!