On January 27, 2025 6:28:09 PM GMT-05:00, Oliver via Users users@lists.geany.org wrote:
Running "php -S localhost:8081" in the directory used to work. It's been a little bit since I've fiddled with PHP.
Snippet from my dotfile: alias serverPHP='php -S localhost:8081'
On Mon, Jan 27, 2025 at 5:04 PM H via Users users@lists.geany.org wrote:
On January 27, 2025 5:14:16 PM GMT-05:00, "Enrico Tröger via Users" < users@lists.geany.org> wrote:
Hi,
I did some reading and it looks very useful. Quick googling
suggests
there are multiple php language servers, including
php-language-server
on GitHub developed by Felix Becker. Would this be a good one to run
or
should i look at another language server for php?
I don't know any PHP since version 3 or 4 and so you don't want my advice on anything PHP related :).
I'd say either you just try the different language servers until you are happy and/or check the net what's used most by others.
Regards, Enrico
Noted. Would anyone with experience with a php language server like
to
weigh in with an opinion? _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
That would be a webserver. Albeit useful in itself, not the php language server I am looking for. For an example of the latter, see https://GitHub.com/felixfbecker/php-language-server.