projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0101370) | patch
php8: Clean up and update distributed php.ini for php 8.0.12 17119/head
authorGiovanni Giacobbi <giovanni@giacobbi.net>
Sat, 13 Nov 2021 21:28:43 +0000 (21:28 +0000)
committerGiovanni Giacobbi <giovanni@giacobbi.net>
Sat, 13 Nov 2021 21:33:55 +0000 (21:33 +0000)
commitf54b987c8f1bbc8b908f14d7616dd417d18cc887
treed54beb272eb956bb35a510ba6c462254833d0122tree | snapshot
parent0101370e1dcc0e249472652c33f1b9d7ab41b07dcommit | diff
php8: Clean up and update distributed php.ini for php 8.0.12

Details:
- Cleaned up whitespace and removed comments (refer to official PHP documentation for that)
- Removed directives that no longer exist as of PHP 8.0.12
- Added newly existing directives commented out
- Added '~E_DEPRECATED' to 'error_reporting'

Signed-off-by: Giovanni Giacobbi <giovanni@giacobbi.net>
lang/php8/Makefile diff | blob | history
lang/php8/files/php.ini diff | blob | history
Mirror of packages feed