; --- build date:  2019-07-24 15:40
; --- lib version: 1.6.25pre.3632
PHP_VERSION_TARGET=5.3
EDITION_NAME=dev
ENABLE_DEVELOPER=1
ENABLE_OPTIMIZED_SOURCE=0
STRIP_COMMENT=0
SOURCE_REVISION=3632
