- Revision 3621319: /bug-tracker/tags/1.2.3/.settings

• ..
• .jsdtscope
• org.eclipse.php.core.prefs
• org.eclipse.wst.jsdt.ui.superType.container
• org.eclipse.wst.jsdt.ui.superType.name