Update org.eclipse.php.core.prefs