Christoph M. Becker bb530230dd Fix news2html truncation ...

If there are NEWS entries referring to a certain PHP version, these are
interpreted as belonging to that PHP version.  Since the lines actually
delimiting PHP versions are supposed to have comma after the date, we
enforce that now.

Closes GH-730.

2022-12-08 19:45:28 +01:00

..

bumpRelease

Multiple micro-optimizations

2022-07-03 12:24:14 +02:00

createNewsEntry

Enhancement: Use PSR-4 autoloader (#604)

2022-07-05 12:50:41 +01:00

createReleaseEntry

Enhancement: Use PSR-4 autoloader (#604)

2022-07-05 12:50:41 +01:00

index.php

Swap uses of _SERVER[DOCUMENT_ROOT] for __DIR__

2019-05-31 12:31:21 -04:00

news2html

Fix news2html truncation

2022-12-08 19:45:28 +01:00