1e2 Mon Sep 17 00:00:00 2001
From: Vincenzo Pupillo
Date: Mon, 2 Sep 2024 14:11:01 +0200
Subject: [PATCH] Support for custom php.ini for the built-in PHP web server.
A new CONFIG attribute, which defaults to 'php-ts-mode-php-config',
allows an alternative php.ini file to be specified for
Ok, thanks.
I will fix ASAP.
Vincenzo.
In data lunedì 2 settembre 2024 16:23:53 CEST, Eli Zaretskii ha scritto:
> > From: Vincenzo Pupillo
> > Date: Mon, 02 Sep 2024 15:29:23 +0200
> >
> > Ciao,
> > this patch adds a new CONFIG attribute to 'php-ts-mode-run
Hi Eli, I followed your suggestion and moved the CONFIG argument. I also added
a new entry to the NEWS file.
Thanks.
Vincenzo
In data lunedì 2 settembre 2024 16:23:53 CEST, Eli Zaretskii ha scritto:
> > From: Vincenzo Pupillo
> > Date: Mon, 02 Sep 2024 15:29:23 +0200
> >
In data domenica 8 settembre 2024 08:48:09 CEST, Eli Zaretskii ha scritto:
> > From: Vincenzo Pupillo
> > Cc: 72...@debbugs.gnu.org
> > Date: Thu, 05 Sep 2024 21:16:29 +0200
> >
> > Hi Eli, I followed your suggestion and moved the CONFIG argument. I also
> >
to pay
> > > for it can turn it off by setting the option to nil.
> > >
> > > Yuan
> >
> > Eli, WDYT?
>
> I'm okay with such an option, but it should be careful to check
> whether the corresponding grammar library is available, and offe
In data mercoledì 11 settembre 2024 06:53:32 CEST, Yuan Fu ha scritto:
>
> > On Sep 9, 2024, at 2:50 AM, Vincenzo Pupillo wrote:
> >
> > In data martedì 27 agosto 2024 14:22:16 CEST, Eli Zaretskii ha scritto:
> >>> From: Yuan Fu
> >>> Date
