package/php: add FFI extension support
authorTom Marcuzzi <tom.marcuzzi@orolia.com>
Tue, 28 Jul 2020 16:31:25 +0000 (18:31 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Wed, 5 Aug 2020 21:02:54 +0000 (23:02 +0200)
commite16f05c0f00081d446ebee56d9f3ad3cf41da1ae
tree16fcb3015fe486f4a4f739f3c20ce7e5ffd8b275
parent61ac7fcc6c5ef8c4c6e27e36db1d1ea8431ad79e
package/php: add FFI extension support

Signed-off-by: Tom Marcuzzi <tom.marcuzzi@orolia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
package/php/Config.ext
package/php/php.mk