making plugin compatible with phpstorm 7