/** * Plugin init. * * @param ConfigManager $conf instance. */ function launch_plugin_init($conf) { if (!$conf->exists('plugins.LAUNCH_CUSTOM_MENU') && file_exists(PluginManager::$PLUGINS_PATH . '/launch_plugin/menu.json')) { $menu = json_decode(file_get_contents(PluginManager::$PLUGINS_PATH . '/launch_plugin/menu.json')); if (is_array($menu)) { $conf->set('plugins.LAUNCH_CUSTOM_MENU', $menu); $conf->write(true); } } }