diff --git a/php.ini-development b/php.ini-development
index 281dcdec6b2..ad5cc8e9c46 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -893,6 +893,7 @@ default_socket_timeout = 60
 ;
 ;extension=bz2
 ;extension=curl
+;extension=ffi
 ;extension=fileinfo
 ;extension=gd2
 ;extension=gettext
diff --git a/php.ini-production b/php.ini-production
index ae41df6b67f..2184643e238 100644
--- a/php.ini-production
+++ b/php.ini-production
@@ -895,6 +895,7 @@ default_socket_timeout = 60
 ;
 ;extension=bz2
 ;extension=curl
+;extension=ffi
 ;extension=fileinfo
 ;extension=gd2
 ;extension=gettext