dev-php: bumps for php 5.6