jenkins-bot has submitted this change and it was merged. Change subject: Improve layout ......................................................................
Improve layout cf https://www.mediawiki.org/wiki/Manual:Collapsible_elements Change-Id: I9a3af163186163c53b6964962b85920551ed8e61 --- M FormulaInfo.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Physikerwelt: Looks good to me, approved jenkins-bot: Verified diff --git a/FormulaInfo.php b/FormulaInfo.php index a46ea61..9ad5a58 100644 --- a/FormulaInfo.php +++ b/FormulaInfo.php @@ -198,7 +198,7 @@ } if ( self::hasMathMLSupport( $mode ) ) { $out->addHtml( - '<div class="NavFrame collapsed" style="text-align: left"><div class="NavHead">' + '<div class="toccolours mw-collapsible mw-collapsed" style="text-align: left">' ); $out->addWikiText( 'MathML (' . self::getlengh( $renderer->getMathml() ) . ') :', false ); $imgUrl = $wgExtensionAssetsPath . "/MathSearch/images/math_search_logo.png"; @@ -208,7 +208,7 @@ $out->addHtml( '<a href="/wiki/Special:MathSearch?mathpattern=' . urlencode( $tex ) . '&searchx=Search">' . $mathSearchImg . '</a>' ); $out->addHtml( $renderer->getMathml() ); - $out->addHtml( '</div><div class="NavContent">' ); + $out->addHtml( '<div class="mw-collapsible-content">' ); $out->addWikiText( '<syntaxhighlight lang="xml">' . ( $renderer->getMathml() ) . '</syntaxhighlight>' ); -- To view, visit https://gerrit.wikimedia.org/r/252671 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9a3af163186163c53b6964962b85920551ed8e61 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MathSearch Gerrit-Branch: master Gerrit-Owner: Physikerwelt <[email protected]> Gerrit-Reviewer: Dyiop <[email protected]> Gerrit-Reviewer: Hcohl <[email protected]> Gerrit-Reviewer: Physikerwelt <[email protected]> Gerrit-Reviewer: Whyameri <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
