return getKey(PHPCorePlugin.ID, key);
}
protected boolean checkChanges(IScopeContext currContext) {
if (fProject != null) {
final Key versionKey = getPHPCoreKey(Keys.PHP_VERSION);
// synch the php facets version if needed
String newVersion = versionKey
.getStoredValue(currContext, fManager);
if (newVersion == null) {
newVersion = getValue(versionKey);
}
final IStatus status = PHPFacets.setFacetedVersion(fProject,