The source project of this merge request has been removed.
[NEW] Add indentation plugin and make it enabled by default.
This adds the indentation plugin. I've made it enabled by default, by editing lib/prefs/wikiplugin.php.
This adds the indentation plugin. I've made it enabled by default, by editing lib/prefs/wikiplugin.php.