Re: readline extension status?

From: Date: Thu, 28 Dec 2000 08:32:39 +0000
Subject: Re: readline extension status?
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-42355@lists.php.net to get a copy of this message
Yes, it's (probably) true. Richard Stallman decided to put PHP under a magnifying glass as far as licenses are concerned, and he asked us to remove the readline extension because readline is GPLd. I told him that law-wise, what he says has no grounds (we're not distributing anything with the readline library, but rather, distributing code that is compatible with it), but since the readline extension is fairly esoteric, we decided it'll be best if we simply remove it, instead of getting into a fight with him. If the same thing happens again with a more 'fundamental' extension, we won't give up that easily. We can expect the readline extension to be removed in the next release of PHP. I can't say yet when this is going to happen... Zeev At 09:30 28/12/2000, Lars Torben Wilson wrote:
Is it true that the readline extension will be removed from the PHP distribution and packaged or distributed separately? I remember talk of this in the past weeks (something about license incompatability) but I left most of my emails at home and didn't catch the outcome. If this is true, approx. when(ish) would it be expected to happen? -- +----------------------------------------------------------------+
|Torben Wilson <torben@php.net>                     Netmill iTech|
|http://www.coastnet.com/~torben            http://www.netmill.fi|
|Ph: 1 250 383-9735                             torben@netmill.fi|
+----------------------------------------------------------------+ -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net For additional commands, e-mail: php-dev-help@lists.php.net To contact the list administrators, e-mail: php-list-admin@lists.php.net
-- Zeev Suraski <zeev@zend.com> CTO & co-founder, Zend Technologies Ltd. http://www.zend.com/

« previous php.dev (#42355) next »