summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2019-08-06 10:06:00 +0200
committerRemi Collet <remi@remirepo.net>2019-08-06 10:06:00 +0200
commit493f5f2c2c42a796572cbcbe13f859a89b35d891 (patch)
tree6ff7360070a3abfce197cb1a167728932d7b8634
parent8457279dae6fe64d749a8bc6479979b7f31ff5dc (diff)
add ffi ext to remi-safe
-rw-r--r--index.html4
-rw-r--r--mashinfo.el71
-rw-r--r--mashinfo.el83
3 files changed, 5 insertions, 3 deletions
diff --git a/index.html b/index.html
index 343c2f30..00448eab 100644
--- a/index.html
+++ b/index.html
@@ -56,10 +56,10 @@
<p class="msg">
-->
<h2>Next year <strong>Web hosting</strong> budget, until August 2020:
- <!--
<progress max="500" value="500">100%</progress> <strong>100%&nbsp;of&nbsp;500€</strong>.
- -->
+ <!--
<progress max="500" value="455">91%</progress> <strong>91%&nbsp;of&nbsp;500€</strong>.
+ -->
<!--
</p>-<p class="msg" style="margin-bottom: 18em">
-->
diff --git a/mashinfo.el7 b/mashinfo.el7
index 730ad0d8..2e91f931 100644
--- a/mashinfo.el7
+++ b/mashinfo.el7
@@ -1787,6 +1787,7 @@ php74-php-dbg
php74-php-devel
php74-php-embedded
php74-php-enchant
+php74-php-ffi
php74-php-fpm
php74-php-gd
php74-php-gmp
diff --git a/mashinfo.el8 b/mashinfo.el8
index 6b790eee..4a660cf2 100644
--- a/mashinfo.el8
+++ b/mashinfo.el8
@@ -1246,7 +1246,7 @@ php73-php-pecl-termbox
php73-php-pecl-timecop
php73-php-pecl-trace
php73-php-pecl-trader
-php74-php-pecl-translit
+php73-php-pecl-translit
php73-php-pecl-ui
php73-php-pecl-uopz
php73-php-pecl-uploadprogress
@@ -1314,6 +1314,7 @@ php74-php-dbg
php74-php-devel
php74-php-embedded
php74-php-enchant
+php74-php-ffi
php74-php-fpm
php74-php-gd
php74-php-gmp