It isn't used in those plugins, but I know developers often have a look in some of Joomla plugins when they want to make their own. Anyway, I will change it to mixed.