- Revision 3617984: /chief-editor/.settings

• ..
• org.eclipse.php.core.prefs
• org.sonarlint.eclipse.core.prefs