jenkins-bot has submitted this change and it was merged. Change subject: Introduce variables required for mathoid ......................................................................
Introduce variables required for mathoid This change prepares the reactivation of the MathML rendering mode. It adds configuration variables for * the mathoid server url * the mathoid server timeout * the debug mode. Change-Id: I8a2bb9076e571d7769787aac3e863f65637ce553 --- M Math.php 1 file changed, 16 insertions(+), 0 deletions(-) Approvals: Frédéric Wang: Looks good to me, approved jenkins-bot: Verified diff --git a/Math.php b/Math.php index 53d1a10..14b248f 100644 --- a/Math.php +++ b/Math.php @@ -122,6 +122,19 @@ $wgUseMathJax = false; /** + * The url of the mathoid server. + * see http://www.formulasearchengine.com/mathoid + * TODO: Move documentation to WMF + */ +$wgMathMathMLUrl = 'http://gw124.iu.xsede.org:10042'; // Sponsored by https://www.xsede.org/ + +/** + * The timeout for the HTTP-Request sent to the MathML to render an equation, + * in seconds. + */ +$wgMathMathMLTimeout = 20; + +/** * Use of LaTeXML for details see * <http://latexml.mathweb.org/help> * @@ -175,6 +188,9 @@ * commands is allowed. See the wikipedia page Help:Math for details. */ $wgMathDisableTexFilter = false; + +/** Stores debug information in the database and provides more detailed debug output */ +$wgMathDebug = false; ////////// end of config settings. $wgExtensionFunctions[] = 'MathHooks::setup'; -- To view, visit https://gerrit.wikimedia.org/r/137549 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8a2bb9076e571d7769787aac3e863f65637ce553 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Math Gerrit-Branch: master Gerrit-Owner: Physikerwelt <w...@physikerwelt.de> Gerrit-Reviewer: Frédéric Wang <fred.w...@free.fr> Gerrit-Reviewer: TheDJ <hartman.w...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
