- Updated to version 2013.3 (2013c)
Merge branch 'PHP-5.3' into PHP-5.4