public static function _autoload($class)
{
if (isset(self::$plugin_files[$class])) {
require self::$plugin_files[$class];
if (!class_exists($class, false)) {
// The classname of a plugin changed.
$filename = self::$plugin_files[$class];
EventLog::log(_t('Plugin file "%s" has changed its plugin class name.', array($filename)));
Session::error(_t('Plugin file "%s" has changed its plugin class name.', array($filename)));
// Remove the plugin from the active list
$active_plugins = Options::get('active_plugins');
unset($active_plugins[$class]);
self::$plugin_files = array();
Options::set('active_plugins', $active_plugins);
self::list_active(true);
// Refresh the internal list
// Reactivate it to try to get the new class loaded
self::activate_plugin($filename);
Utils::redirect();
}
}
}