diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-10-30 20:47:27 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-10-30 20:47:27 +0100 |
| commit | 06d00995049db9c7b915f67cfd4a5708aace458f (patch) | |
| tree | 0176ca9761b34d72ffd597bd96da3c3ae4912d86 /lib/Minz/Paginator.php | |
| parent | 4a02352ccc1b313ce967415c6ac10a32aba1893a (diff) | |
Require PHP 7.4+ (#5720)
* Require PHP 7.4+
https://github.com/FreshRSS/FreshRSS/discussions/5474
* Update Docker oldest
Alpine 3.13 with PHP 7.4.26
* Add missing packets to Docker oldest
* Update to typed properties
https://php.net/migration74.new-features#migration74.new-features.core.typed-properties
* More types
Diffstat (limited to 'lib/Minz/Paginator.php')
| -rw-r--r-- | lib/Minz/Paginator.php | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/Minz/Paginator.php b/lib/Minz/Paginator.php index cf0e52440..6b185c8b8 100644 --- a/lib/Minz/Paginator.php +++ b/lib/Minz/Paginator.php @@ -11,27 +11,27 @@ class Minz_Paginator { /** * @var array<Minz_Model> tableau des éléments à afficher/gérer */ - private $items = array (); + private array $items = []; /** - * @var int le nombre d'éléments par page + * le nombre d'éléments par page */ - private $nbItemsPerPage = 10; + private int $nbItemsPerPage = 10; /** - * @var int page actuelle à gérer + * page actuelle à gérer */ - private $currentPage = 1; + private int $currentPage = 1; /** - * @var int le nombre de pages de pagination + * le nombre de pages de pagination */ - private $nbPage = 1; + private int $nbPage = 1; /** - * @var int le nombre d'éléments + * le nombre d'éléments */ - private $nbItems = 0; + private int $nbItems = 0; /** * Constructeur |