[3.1.0] Encoder optimization, as suggested by Diego
treeaa0987b3613938059ff4df7cbe9e998d3dfb559a
-rw-r--r-- 317 CREDITS
-rw-r--r-- 54968 Doxyfile
-rw-r--r-- 14173 INSTALL
-rw-r--r-- 2130 INSTALL.fr.utf8
-rw-r--r-- 26436 LICENSE
-rw-r--r-- 32672 NEWS
-rw-r--r-- 877 README
-rw-r--r-- 5022 TODO
-rw-r--r-- 8 VERSION
-rw-r--r-- 542 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-- 2229 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