[PHP-WEBMASTER] [web-php] issue1892-default-naming: Fixed #1892: Rename 'confusing' option to something more descriptive

[email protected] (Derick Rethans) Thu, 23 Apr 2026 12:37:10 +0000
Newsgroups php.webmaster
Message-ID <[email protected]>
Author: Derick Rethans (derickr)
Date: 2026-04-23T13:36:53+01:00

Commit: https://github.com/php/web-php/commit/b00d99341f5192c328530dcc7b20f5bf3c378bf4
Raw diff: https://github.com/php/web-php/commit/b00d99341f5192c328530dcc7b20f5bf3c378bf4.diff

Fixed #1892: Rename 'confusing' option to something more descriptive

Changed paths:
  M  downloads.php


Diff:

diff --git a/downloads.php b/downloads.php
index a848352416..21325269b9 100644
--- a/downloads.php
+++ b/downloads.php
@@ -95,7 +95,7 @@ function option(string $value, string $desc, $attributes = []): string
     '8.4' => 'version 8.4',
     '8.3' => 'version 8.3',
     '8.2' => 'version 8.2',
-    'default' => 'OS default version',
+    'default' => 'default PHP version for OS',
 ];