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