eclipse.preferences.version=1
org.eclipse.php.core.workspaceDefaultLocale=fr_FR
useAnnotationsPrefPage=true
useQuickDiffPrefPage=true