diff options
| author | Damien Regad <dregad@mantisbt.org> | 2025-10-25 01:12:07 +0200 |
|---|---|---|
| committer | Damien Regad <dregad@mantisbt.org> | 2025-10-25 01:12:07 +0200 |
| commit | 481bb5292033af2918bea9a9af4b551781d17f5f (patch) | |
| tree | ae01b368c98ec0061b5937884f8ce696de133551 /adodb-pager.inc.php | |
| parent | 4cacd51045237191d07f98aa4d85f35647fc92e1 (diff) | |
| download | adodb-481bb5292033af2918bea9a9af4b551781d17f5f.tar.gz adodb-481bb5292033af2918bea9a9af4b551781d17f5f.tar.bz2 adodb-481bb5292033af2918bea9a9af4b551781d17f5f.zip | |
PHP 8.5: fix Non-canonical cast deprecations
Non-canonical cast (integer) is deprecated, use the (int) cast instead
Global search and replace throughout the code base.
Fixes #1143
Diffstat (limited to 'adodb-pager.inc.php')
| -rw-r--r-- | adodb-pager.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/adodb-pager.inc.php b/adodb-pager.inc.php index cfe981d3..122641ed 100644 --- a/adodb-pager.inc.php +++ b/adodb-pager.inc.php @@ -68,7 +68,7 @@ class ADODB_Pager { $next_page = $id.'_next_page'; if (isset($_GET[$next_page])) { - $_SESSION[$curr_page] = (integer) $_GET[$next_page]; + $_SESSION[$curr_page] = (int) $_GET[$next_page]; } if (empty($_SESSION[$curr_page])) $_SESSION[$curr_page] = 1; ## at first page |