- Revision 3612520: /chief-editor/.settings

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