&reftitle.setup;

&reftitle.install; A extensão JSON é uma extensão do núcleo do PHP, por isso está sempre ativada. Anteriormente ao PHP 8.0.0, a extensão JSON era compilada e incluída no PHP por padrão mas podia ser desativada explicitamente usando --disable-json.