extension→. [extension] [PHP]. Extension de nom de fichier qui était parfois utilisé en remplacement de « php ».
