Robert Vogel 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: I35468a206129b267d95d1219139c7aedcb301b5b
---
M TopMenuBarCustomizer/TopMenuBarCustomizer.class.php
1 file changed, 2 insertions(+), 2 deletions(-)

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



diff --git a/TopMenuBarCustomizer/TopMenuBarCustomizer.class.php 
b/TopMenuBarCustomizer/TopMenuBarCustomizer.class.php
index 0a0a0af..0514f70 100644
--- a/TopMenuBarCustomizer/TopMenuBarCustomizer.class.php
+++ b/TopMenuBarCustomizer/TopMenuBarCustomizer.class.php
@@ -212,7 +212,7 @@
                }
 
                $aOut= array();
-               $aOut[] = HTML::openElement( 'ul' );
+               $aOut[] = Html::openElement( 'ul' );
                foreach( self::getNavigationSites() as $aApp ) {
                        $aApp = array_merge(self::$aNavigationSiteTemplate, 
$aApp);
                        $oMainItem = new ViewTopMenuItem();
@@ -231,7 +231,7 @@
                        }
                        $aOut[] = $oMainItem->execute();
                }
-               $aOut[] = HTML::closeElement( 'ul' );
+               $aOut[] = Html::closeElement( 'ul' );
 
                $tpl->data['bs_navigation_sites'] = implode( "\n", $aOut );
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I35468a206129b267d95d1219139c7aedcb301b5b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Dvogel hallowelt <[email protected]>
Gerrit-Reviewer: Ljonka <[email protected]>
Gerrit-Reviewer: Mglaser <[email protected]>
Gerrit-Reviewer: Pwirth <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to