eclipse.preferences.version=1
formatterProfile=org.eclipse.php.formatter.ui.default