diff options
| author | Alexandre Alapetite <alexandre@alapetite.fr> | 2021-12-31 17:00:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-31 17:00:51 +0100 |
| commit | 77e9877316fcfacb26799afdf32d94c8411da80e (patch) | |
| tree | 7fd9c85bf4854054be6536c14d120bc8b790debe /app/SQL/install.sql.pgsql.php | |
| parent | 09c84fb3bc44bf8e45619c27acc15b967aea14ce (diff) | |
| download | freshrss-77e9877316fcfacb26799afdf32d94c8411da80e.tar.gz freshrss-77e9877316fcfacb26799afdf32d94c8411da80e.zip | |
Add PHPStan (#4021)
* Add PHPStan
#fix https://github.com/FreshRSS/FreshRSS/issues/4016
https://phpstan.org/
```sh
composer run-script phpstan
```
* More fixes
* Fix global variables
* Add .phtml
* Fix merge
https://github.com/FreshRSS/FreshRSS/pull/4090
* Fix more warnings
* Fix view errors and enable in CI
* ReturnTypeWillChange
* Dynamic view type
* Fix Minz static/self bug
Diffstat (limited to 'app/SQL/install.sql.pgsql.php')
| -rw-r--r-- | app/SQL/install.sql.pgsql.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/app/SQL/install.sql.pgsql.php b/app/SQL/install.sql.pgsql.php index c17a45127..5b810deff 100644 --- a/app/SQL/install.sql.pgsql.php +++ b/app/SQL/install.sql.pgsql.php @@ -1,9 +1,9 @@ <?php -$SQL_CREATE_DB = <<<'SQL' +$GLOBALS['SQL_CREATE_DB'] = <<<'SQL' CREATE DATABASE "%1$s" ENCODING 'UTF8'; SQL; -$SQL_CREATE_TABLES = <<<'SQL' +$GLOBALS['SQL_CREATE_TABLES'] = <<<'SQL' CREATE TABLE IF NOT EXISTS `_category` ( "id" SERIAL PRIMARY KEY, "name" VARCHAR(255) UNIQUE NOT NULL, @@ -59,11 +59,11 @@ INSERT INTO `_category` (id, name) RETURNING nextval('`_category_id_seq`'); SQL; -$SQL_CREATE_INDEX_ENTRY_1 = <<<'SQL' +$GLOBALS['SQL_CREATE_INDEX_ENTRY_1'] = <<<'SQL' CREATE INDEX IF NOT EXISTS `_entry_feed_read_index` ON `_entry` ("id_feed","is_read"); -- v1.7 SQL; -$SQL_CREATE_TABLE_ENTRYTMP = <<<'SQL' +$GLOBALS['SQL_CREATE_TABLE_ENTRYTMP'] = <<<'SQL' CREATE TABLE IF NOT EXISTS `_entrytmp` ( -- v1.7 "id" BIGINT NOT NULL PRIMARY KEY, "guid" VARCHAR(760) NOT NULL, @@ -84,7 +84,7 @@ CREATE TABLE IF NOT EXISTS `_entrytmp` ( -- v1.7 CREATE INDEX IF NOT EXISTS `_entrytmp_date_index` ON `_entrytmp` ("date"); SQL; -$SQL_CREATE_TABLE_TAGS = <<<'SQL' +$GLOBALS['SQL_CREATE_TABLE_TAGS'] = <<<'SQL' CREATE TABLE IF NOT EXISTS `_tag` ( -- v1.12 "id" SERIAL PRIMARY KEY, "name" VARCHAR(63) UNIQUE NOT NULL, @@ -100,6 +100,6 @@ CREATE TABLE IF NOT EXISTS `_entrytag` ( CREATE INDEX IF NOT EXISTS `_entrytag_id_entry_index` ON `_entrytag` ("id_entry"); SQL; -$SQL_DROP_TABLES = <<<'SQL' +$GLOBALS['SQL_DROP_TABLES'] = <<<'SQL' DROP TABLE IF EXISTS `_entrytag`, `_tag`, `_entrytmp`, `_entry`, `_feed`, `_category`; SQL; |