[PHP-DEV] Extension or module? From: Andrei Zmievski (andrei <email protected>)
Date: 12/15/99

Let's standardize this: are we calling the PHP extension libraries
'extensions' or 'modules'? Internally, Zend seems to be calling them
modules, and PHP calls them extensions.

-Andrei
* We reason deeply, when we forcibly feel. * 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>