From d0092c212584356c7c0868aa7b6869ca9c4e7968 Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Mon, 21 Jan 2019 20:23:53 +0100
Subject: [ci skip] List FFI extension

---
 EXTENSIONS | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'EXTENSIONS')

diff --git a/EXTENSIONS b/EXTENSIONS
index f1d439d9a1..387fde18f0 100644
--- a/EXTENSIONS
+++ b/EXTENSIONS
@@ -299,6 +299,12 @@ MAINTENANCE:         Maintained
 STATUS:              Working
 SINCE:               4.2
 -------------------------------------------------------------------------------
+EXTENSION:           ffi
+PRIMARY MAINTAINER:  Dmitry Stogov <dmitry@php.net> (2018 - 2019)
+MAINTENANCE:         Maintained
+STATUS:              Experimental
+SINCE:               7.4.0
+-------------------------------------------------------------------------------
 EXTENSION:           fileinfo
 PRIMARY MAINTAINER:  Derick Rethans <derick@php.net> (2004 - 2008)
                      Anatol Belski <ab@php.net> (2012 - 2018)
-- 
cgit v1.2.1