diff --git a/config/pkg/ext/builtin-extensions.yml b/config/pkg/ext/builtin-extensions.yml index f55cf631..65da4295 100644 --- a/config/pkg/ext/builtin-extensions.yml +++ b/config/pkg/ext/builtin-extensions.yml @@ -298,6 +298,10 @@ ext-tidy: Windows: wip BSD: wip arg-type: with-path +ext-tokenizer: + type: php-extension + php-extension: + build-with-php: true ext-xml: type: php-extension depends: