Update 03_editors-ide.md#139

mermshaus merged 1 commit intophp-de:masterphp-de/php-de.github.io:masterfrom

callpri:patch-1callpri/php-de.github.io:patch-1Copy head branch name to clipboard