[web-php] master: nits
| From: | Sergey Panteleev via Derick Rethans | Date: | Tue, 12 Aug 2025 13:38:37 +0000 |
| Subject: | [web-php] master: nits | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33095@lists.php.net to get a copy of this message | ||
Author: Sergey Panteleev (saundefined)
Committer: Derick Rethans (derickr)
Date: 2025-08-12T14:29:29+01:00
Commit: https://github.com/php/web-php/commit/1af25212ad0fc34d344d0db26a24424051c73a19
Raw diff: https://github.com/php/web-php/commit/1af25212ad0fc34d344d0db26a24424051c73a19.diff
nits
Changed paths:
M downloads.php
Diff:
diff --git a/downloads.php b/downloads.php
index 99d2a0cf09..7c966724fc 100644
--- a/downloads.php
+++ b/downloads.php
@@ -45,10 +45,11 @@ function option(string $value, string $desc, $attributes = []): string
$usage = [
'web' => 'Web Development',
- 'cli' => 'Command Line Libraries',
- 'fw-drupal' => 'Drupal',
- 'fw-laravel' => 'Laravel',
- 'fw-symfony' => 'Symfony',
+ 'cli' => 'CLI/Library Development',
+ 'fw-drupal' => 'Drupal Development',
+ 'fw-laravel' => 'Laravel Development',
+ 'fw-symfony' => 'Symfony Development',
+ 'fw-wordpress' => 'WordPress Development',
];
$os = [
@@ -78,6 +79,14 @@ function option(string $value, string $desc, $attributes = []): string
],
];
+$versions = [
+ 'php84' => 'version 8.4',
+ 'php83' => 'version 8.3',
+ 'php82' => 'version 8.2',
+ 'php81' => 'version 8.1',
+ 'default' => 'OS default version',
+];
+
$defaults = [
'os' => 'linux',
'version' => 'php84',
@@ -124,11 +133,11 @@ function option(string $value, string $desc, $attributes = []): string
<?php } ?>,
and use
<select id="version" name="version">
- <?= option('php84', 'version 8.4'); ?>
- <?= option('php83', 'version 8.3'); ?>
- <?= option('php82', 'version 8.2'); ?>
- <?= option('php81', 'version 8.1'); ?>
- <?= option('default', 'OS default version'); ?>
+ <?php foreach ($versions as $value => $version) { ?>
+ <?= option($value, $version, [
+ 'selected' => array_key_exists('version', $options)
&& $options['version'] === $value,
+ ]); ?>
+ <?php } ?>
</select>
</div>