php.lang: dd new PHP 8 functions
php.lang: dd new PHP 8 functions

JSON support is now considered a core part of the language that's always
available rather than being an optional module.

GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview