I've got an answer in the Eclipse Community Forum.
PHP Servers are persisted in {workspace}/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.php.server.core.prefs
Debug(Launch) configurations are stored in {workspace}/.metadata/.plugins/org.eclipse.debug.core/.launches
(editing those files directly is contrary to manners of course)