"Extension" vs. "Plugin

[Max Kanat-Alexander]

	Sometimes we call extensions "Extensions" and sometimes we call
them "Plugins". Since the directory in CVS is already called
"extensions", I propose that we just always call them "Extensions" and
stop using the word "plugin" to describe extensions.

	The word "Extension" is already familiar to Firefox users
anyhow, and I don't see any reason why we shouldn't use it.

	-Max
-- 
http://www.everythingsolved.com/
Competent, Friendly Bugzilla and Perl Services. Everything Else, too.