mirror of
https://github.com/php/php-src.git
synced 2026-10-28 17:56:50 +08:00
5 lines
115 B
JavaScript
5 lines
115 B
JavaScript
// vim:ft=javascript
|
|
|
|
EXTENSION("reflection", "php_reflection.c", false /* never shared */);
|
|
PHP_REFLECTION="yes";
|