Fixed bug #65715 php5embed.lib isn't provided anymore
updated NEWS
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  updated NEWS
  Fixed bug #65715 php5embed.lib isn't provided anymore
updated NEWS
more fixes related to bug #65715
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  more fixes related to bug #65715
Merge branch 'PHP-5.5' of https://github.com/php/php-src into PHP-5.5