[web-php] master: Fix: Replace weird comment with DocBlock
| From: | Andreas Möller via GitHub | Date: | Tue, 12 Jul 2022 12:40:13 +0000 |
| Subject: | [web-php] master: Fix: Replace weird comment with DocBlock | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30381@lists.php.net to get a copy of this message | ||
Author: Andreas Möller (localheinz)
Committer: GitHub (web-flow)
Pusher: cmb69
Date: 2022-07-12T14:33:45+02:00
Commit: https://github.com/php/web-php/commit/0ee0117c6b83500d730641ed60fdc1b87d5dd209
Raw diff: https://github.com/php/web-php/commit/0ee0117c6b83500d730641ed60fdc1b87d5dd209.diff
Fix: Replace weird comment with DocBlock
Closes GH-649.
Changed paths:
M releases/index.php
Diff:
diff --git a/releases/index.php b/releases/index.php
index 0c928974f..1a8a8bb7c 100644
--- a/releases/index.php
+++ b/releases/index.php
@@ -178,10 +178,13 @@ function recentEOLBranchesHTML(): string {
return implode('', array_slice($eol, 0, 2));
}
+/**
+ * @param bool|array $announcement
+ */
function mk_rel(int $major,
string $ver,
string $date,
- /* bool | array */ $announcement,
+ $announcement,
array $source,
array $windows,
bool $museum): void {