-
This is needed when the system PHP configuration does not already load the extension. https://bugzilla.gnome.org/show_bug.cgi?id=782410
6d28d98b
This is needed when the system PHP configuration does not already load the extension. https://bugzilla.gnome.org/show_bug.cgi?id=782410