Code Editor : org.eclipse.php.core.prefs