Physikerwelt has submitted this change and it was merged.

Change subject: Fix case of Html class
......................................................................


Fix case of Html class

Gives fatal when using $wgAutoloadAttemptLowercase = false

Change-Id: I00069b8b875c5f6c768835a8e072e9eed2541314
---
M MathMathML.php
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  TheDJ: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/MathMathML.php b/MathMathML.php
index d3fcec6..27acbf0 100644
--- a/MathMathML.php
+++ b/MathMathML.php
@@ -436,7 +436,7 @@
                if ( $this->getID() !== '' ) {
                        $attribs['id'] = $this->getID();
                }
-               $output = HTML::openElement( $element, $attribs );
+               $output = Html::openElement( $element, $attribs );
                // MathML has to be wrapped into a div or span in order to be 
able to hide it.
                // Remove displayStyle attributes set by the MathML converter
                // (Beginning from Mathoid 0.2.5 block is the default layout.)
@@ -450,7 +450,7 @@
                        'class' => $this->getClassName(), 'style' => 'display: 
none;'
                ), $mml );
                $output .= $this->getFallbackImage();
-               $output .= HTML::closeElement( $element );
+               $output .= Html::closeElement( $element );
                return $output;
        }
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I00069b8b875c5f6c768835a8e072e9eed2541314
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Physikerwelt <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to