Synced release branch from dev/php5.3
Synced release branch from dev/php5.3