; --- build date: 2013-09-18 23:59 ; --- lib version: 1.2.13 PHP_VERSION_TARGET=5.2 EDITION_NAME= ENABLE_PHP_FILTER=1 ENABLE_PHP_JSON=1 ENABLE_PHP_XMLRPC=0 ENABLE_PHP_JELIX=0 WITH_BYTECODE_CACHE=auto ENABLE_DEVELOPER=1 ENABLE_OPTIMIZED_SOURCE=0 STRIP_COMMENT=0 SOURCE_REVISION=1955
Documentation generated on Thu, 19 Sep 2013 00:00:51 +0200 by phpDocumentor 1.4.3