diff options
| author |  Luc SANCHEZ <4697568+ColonelMoutarde@users.noreply.github.com>
| 2023-11-16 22:43:00 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-11-16 22:43:00 +0100 |
| commit | 30c7a61a9b410f023c56ef19b9389a61647d8768 (patch) | |
| tree | bb58408980ce5b86f1d2b4a9be29d55b2d46dbb1 /p | |
| parent | ee99e7e2cc228500efc1b539954c0ca6cd4c146d (diff) | |
Use strict_types (#5830)
* Little's optimisations and booleans in conditions
* Apply strict type
* Apply strict type
* Apply strict type
* Fix multiple bugs with PHP 8.2 and 8.3
* Many declares missing, more errors fixed
* Apply strict type
* Another approach
* Stronger typing for Minz_Session
* Fix case of SQLite
---------
Co-authored-by: Luc <sanchezluc+freshrss@gmail.com>
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
Diffstat (limited to 'p')
| -rw-r--r-- | p/api/fever.php | 2 | ||||
| -rw-r--r-- | p/api/greader.php | 2 | ||||
| -rw-r--r-- | p/api/index.php | 5 | ||||
| -rw-r--r-- | p/api/pshb.php | 1 | ||||
| -rw-r--r-- | p/ext.php | 2 | ||||
| -rw-r--r-- | p/f.php | 1 | ||||
| -rw-r--r-- | p/i/index.php | 2 | ||||
| -rw-r--r-- | p/index.php | 1 |
8 files changed, 14 insertions, 2 deletions
diff --git a/p/api/fever.php b/p/api/fever.php index 331a5a831..cc5778e9f 100644 --- a/p/api/fever.php +++ b/p/api/fever.php @@ -1,4 +1,6 @@ <?php +declare(strict_types=1); + /** * Fever API for FreshRSS * Version 0.1 diff --git a/p/api/greader.php b/p/api/greader.php index 77defb326..67d82cf4d 100644 --- a/p/api/greader.php +++ b/p/api/greader.php @@ -1,4 +1,6 @@ <?php +declare(strict_types=1); + /** == Description == Server-side API compatible with Google Reader API layer 2 diff --git a/p/api/index.php b/p/api/index.php index 6ca7e1b6d..686e74240 100644 --- a/p/api/index.php +++ b/p/api/index.php @@ -1,4 +1,7 @@ -<!DOCTYPE html> +<?php + declare(strict_types=1); +?> +<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-GB" lang="en-GB"> <head> <meta charset="UTF-8" /> diff --git a/p/api/pshb.php b/p/api/pshb.php index f69329f1b..85bc5681a 100644 --- a/p/api/pshb.php +++ b/p/api/pshb.php @@ -1,4 +1,5 @@ <?php +declare(strict_types=1); require(__DIR__ . '/../../constants.php'); require(LIB_PATH . '/lib_rss.php'); //Includes class autoloader @@ -1,5 +1,5 @@ <?php - +declare(strict_types=1); require(__DIR__ . '/../constants.php'); // Supported types with their associated content type @@ -1,4 +1,5 @@ <?php +declare(strict_types=1); require(__DIR__ . '/../constants.php'); require(LIB_PATH . '/lib_rss.php'); //Includes class autoloader require(LIB_PATH . '/favicons.php'); diff --git a/p/i/index.php b/p/i/index.php index 76fb54a4b..fbd9553ad 100644 --- a/p/i/index.php +++ b/p/i/index.php @@ -1,4 +1,6 @@ <?php +declare(strict_types=1); + // > Error: FreshRSS requires PHP, which does not seem to be installed or configured correctly! <!-- # ***** BEGIN LICENSE BLOCK ***** diff --git a/p/index.php b/p/index.php index 65d3a8c3f..76c43fb59 100644 --- a/p/index.php +++ b/p/index.php @@ -1,4 +1,5 @@ <?php +declare(strict_types=1); require(__DIR__ . '/../constants.php'); require(LIB_PATH . '/lib_rss.php'); //Includes class autoloader |