On 07.05.2019 at 16:09, Nikita Popov wrote:
> On Fri, May 3, 2019 at 11:44 AM Christoph M. Becker
> wrote:
>
>> On 03.05.2019 at 01:18, Björn Larsson wrote:
>>
>>> Did this lead to a bug report?
>>
>> Hmm, apparently not.
>
> This was reported as https://bugs.php.net/bug.php?id=77907 and will be
On Fri, May 3, 2019 at 11:44 AM Christoph M. Becker
wrote:
> On 03.05.2019 at 01:18, Björn Larsson wrote:
>
> > Den 2019-04-11 kl. 15:41, skrev Christoph M. Becker:
> >
> >> On 02.04.2019 at 11:42, Nicolai Scheer wrote:
> >>
> >>> I'm currently in the process of migrating an old application from
On 03.05.2019 at 01:18, Björn Larsson wrote:
> Den 2019-04-11 kl. 15:41, skrev Christoph M. Becker:
>
>> On 02.04.2019 at 11:42, Nicolai Scheer wrote:
>>
>>> I'm currently in the process of migrating an old application from php
>>> 5.6
>>> to 7.2.
>>> In the process, I fiddled with the
Den 2019-04-11 kl. 15:41, skrev Christoph M. Becker:
On 02.04.2019 at 11:42, Nicolai Scheer wrote:
I'm currently in the process of migrating an old application from php 5.6
to 7.2.
In the process, I fiddled with the default_charset ini setting.
The documentation states (c.f.
On 02.04.2019 at 11:42, Nicolai Scheer wrote:
> I'm currently in the process of migrating an old application from php 5.6
> to 7.2.
> In the process, I fiddled with the default_charset ini setting.
>
> The documentation states (c.f.
>