Zeev Suraski wrote: > We should keep the php5 module, and it should check out ZendEngine2 as > Zend.
I take it that
- Move HEAD of Zend/ into a PHP_4 tag.
- Commit HEAD of ZendEngine2/ to HEAD of Zend/.
- Delete ZendEngine2/.
is not possible / feasible?
It means losing history - not an option.
Zeev
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
