Change PHP 8.0 prefix for linux

Update extension lists Bump version to 1.1.2
2020-08-04 05:55:46 +05:30
parent 4309c25508
commit f94c56d97f
33 changed files with 705 additions and 541 deletions
--- a/src/lists/focal-php7.1-extensions
+++ b/src/lists/focal-php7.1-extensions
@@ -15,6 +15,7 @@ gettext
 hash
 iconv
 igbinary
+ioncube
 intl
 json
 libxml