1234567891011 |
- // $Id$
- // vim:ft=javascript
- ARG_ENABLE("json", "JavaScript Object Serialization support", "yes");
- if (PHP_JSON != "no") {
- EXTENSION('json', 'json.c', PHP_JSON_SHARED, "");
- ADD_SOURCES(configure_module_dirname, "JSON_parser.c", "json");
- PHP_INSTALL_HEADERS("ext/json/", "php_json.h");
- }
|