« Configurazione di Runtime
Costanti predefinite »
PHP Manual
Installazione/Configurazione
Tipi di risorse
Tipi di risorse
Questa estensione definisce una risorsa puntatore del file restituita da
gzopen()
.