PHP 5.3.22 and PHP 5.4.12 are already out
uses now PHP_Reflect API 1.6 to detect constants
prepare stable release 2.13.0
prepare stable release 2.13
stable release 2.13.0 is ready
fix versions
stable release 2.13.0 is ready