// Calls OnShutdown() on all plugins. void PluginRegistry::NotifyShutdown() { while (!basic_plugins.empty()) { basic_plugins.back()->OnShutdown(); basic_plugins.pop_back(); } document_plugins.clear(); element_plugins.clear(); }