&reftitle.setup;

&reftitle.install; La extensión JSON es una extensión del núcleo de PHP, por lo que siempre está habilitada. Antes de PHP 8.0.0, la extensión JSON estaba incluida y se compilaba en PHP por defecto, pero podía ser deshabilitada explícitamente usando --disable-json.