test/php/list-extensions/index.php


1
2
3
4
5
6
7
8
9
10
11

<?php

function quote($str) {
    return '"' . $str . '"';
}

header('Content-Type: application/json');

print "[" . join(",", array_map('quote', get_loaded_extensions())) . "]";

?>