From: Peter Kokot Date: Sun, 8 Oct 2017 21:40:27 +0000 (+0200) Subject: Remove tokenizer PHP example script X-Git-Tag: php-7.3.0alpha1~1233 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7f4722a42f326519c07256ac7b3a3a811719d66e;p=php Remove tokenizer PHP example script The tokenizer extension is best presented in the PHP manual with some code snippets. Also the script includes old PHP dl() function. --- diff --git a/ext/tokenizer/tokenizer.php b/ext/tokenizer/tokenizer.php deleted file mode 100644 index c13063c628..0000000000 --- a/ext/tokenizer/tokenizer.php +++ /dev/null @@ -1,35 +0,0 @@ -