On January 27, 2025 6:28:09 PM GMT-05:00, Oliver via Users <[email protected]> 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 <[email protected]> >wrote: > >> On January 27, 2025 5:14:16 PM GMT-05:00, "Enrico Tröger via Users" < >> [email protected]> 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 -- [email protected] >> To unsubscribe send an email to [email protected] >>
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. _______________________________________________ Users mailing list -- [email protected] To unsubscribe send an email to [email protected]
