Add a configuration section to the plugin information dialog.

Customize the plugin information dialog and add a configuration section. In this
section, the user may enable or disable logging.

 - create MediaWikiPluginInfoProvider to customize the plugin information dialog
 - add MediaWikiPluginInfoProvider to Info to activate it
 - enable or disable logging in MediaWikiUtils according to the configuration
 - update the localization

See #31.

1 files changed, 2 insertions, 0 deletions

diff --git a/mediawiki.lrdevplugin/Info.lua b/mediawiki.lrdevplugin/Info.lua
index 959923f..cbfa8c6 100755
--- a/mediawiki.lrdevplugin/Info.lua
+++ b/mediawiki.lrdevplugin/Info.lua
@@ -21,6 +21,8 @@ return {
 

 	LrMetadataProvider = 'MediaWikiMetadataProvider.lua',

 

+	LrPluginInfoProvider = 'MediaWikiPluginInfoProvider.lua',

+

 	VERSION = {

 		major = 0,

 		minor = 3,