Update printTokens() debug function to work with new Generator API.
tree523854a6c4045257e6264e2a48c4344ec9552d29
-rw-r--r-- 26 .gitattributes
-rw-r--r-- 244 .gitignore
-rw-r--r-- 317 CREDITS
-rw-r--r-- 54965 Doxyfile
-rw-r--r-- 288 FOCUS
-rw-r--r-- 14241 INSTALL
-rw-r--r-- 2028 INSTALL.fr.utf8
-rw-r--r-- 26436 LICENSE
-rw-r--r-- 40246 NEWS
-rw-r--r-- 877 README
-rw-r--r-- 5706 TODO
-rw-r--r-- 5 VERSION
-rw-r--r-- 587 WHATSNEW
-rw-r--r-- 833 WYSIWYG
drwxr-xr-x - art
drwxr-xr-x - benchmarks
drwxr-xr-x - configdoc
drwxr-xr-x - docs
drwxr-xr-x - extras
drwxr-xr-x - library
drwxr-xr-x - maintenance
-rw-r--r-- 1725 package.php
-rw-r--r-- 4019 phpdoc.ini
drwxr-xr-x - plugins
-rw-r--r-- 2652 release1-update.php
-rw-r--r-- 510 release2-tag.php
drwxr-xr-x - smoketests
-rw-r--r-- 280 svn.php
-rw-r--r-- 2744 test-settings.sample.php
drwxr-xr-x - tests