Mollywhite has submitted this change and it was merged.

Change subject: Set a default value for $wgBookManagerv2JsonEditor
......................................................................


Set a default value for $wgBookManagerv2JsonEditor

Change-Id: I8aa2c0196b4521ad68f630be6fa2d68a48e256ef
---
M BookManagerv2.php
1 file changed, 6 insertions(+), 0 deletions(-)

Approvals:
  Mollywhite: Verified; Looks good to me, approved
  jenkins-bot: Checked



diff --git a/BookManagerv2.php b/BookManagerv2.php
index 8dd625a..e75e84d 100644
--- a/BookManagerv2.php
+++ b/BookManagerv2.php
@@ -244,3 +244,9 @@
  * not set.
  */
 $wgBookManagerv2SchemaDBname = false;
+
+/**
+ * @var bool
+ * Whether to enable the JSON editor
+ */
+$wgBookManagerv2JsonEditor = true;

-- 
To view, visit https://gerrit.wikimedia.org/r/99616
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8aa2c0196b4521ad68f630be6fa2d68a48e256ef
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/BookManagerv2
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Mollywhite <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to