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;