; --- build date:  2015-06-04 12:56
; --- lib version: 1.6.5pre.3192
PHP_VERSION_TARGET=5.3
EDITION_NAME=dev
ENABLE_DEVELOPER=1
ENABLE_OPTIMIZED_SOURCE=0
STRIP_COMMENT=0
SOURCE_REVISION=3192
