More clever version handling (Fix #100) #101

Merged
willh merged 1 commit from Any_version into unstable 2024-09-23 14:53:51 +02:00
Owner

One case for PHP5, and (only) one case for newer PHP (well, until
PHP 10+ get out…). No need to change the script for newer versions.

One case for PHP5, and (only) one case for newer PHP (well, until PHP 10+ get out…). No need to change the script for newer versions.
dprevot added 1 commit 2024-09-23 14:09:52 +02:00
One case for PHP5, and (only) one case for newer PHP (well, until
PHP 10+ get out…). No need to change the script for newer versions.
bwaegeneire approved these changes 2024-09-23 14:41:45 +02:00
bwaegeneire left a comment
Owner

This pattern annoyed me for some time, but not enough to worry about it. Thanks for fixing it.

LGTM!

This pattern annoyed me for some time, but not enough to worry about it. Thanks for fixing it. LGTM!
Owner

Works for me, go merge.

Works for me, go merge.
willh merged commit bab5804906 into unstable 2024-09-23 14:53:51 +02:00
Sign in to join this conversation.
No description provided.