Merge php-ext-embed