I'm running PHPStorm 7.1, and if I open a file with the ".properties" extension it shows a message at the top
"Plugins supporting files with *.properties are found"
It then provides links to "Check IntelliJ IDEA Ultimate Edition"
Is this correct behavior? Shouldn't it recommend PhpStorm plugins, or is there a reason links to IntelliJ are given?