PlatformDataKeys.PSI_* only available since phpstorm 7.1, so use keys directly