diff --git a/php.ini-development b/php.ini-development
index fd96f435342..d7ba908fe00 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -901,6 +901,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 8883566156d..9718403065b 100644
--- a/php.ini-production
+++ b/php.ini-production
@@ -910,6 +910,7 @@ default_socket_timeout = 60
 ;
 ;extension=bz2
 ;extension=curl
+;extension=ffi
 ;extension=fileinfo
 ;extension=gd2
 ;extension=gettext