3 * This file configures the enabled/disabled status of plugins, which are also protected
4 * from changes by the extention manager. These settings will override any local settings.
5 * It is not recommended to change this file, as it is overwritten on DokuWiki upgrades.
8 $plugins['plugin'] = 1;
9 $plugins['config'] = 1;
10 $plugins['usermanager'] = 1;
11 $plugins['revert'] = 1;