var _plugin_manager_8php =
[
    [ "PluginManager", "class_z_m_1_1_plugin_1_1_plugin_manager.html", null ]
];