1<?php 2 3function quote($str) { 4 return '"' . $str . '"'; 5} 6 7header('Content-Type: application/json'); 8 9print "[" . join(",", array_map('quote', get_loaded_extensions())) . "]"; 10 11?> 12