jenkins-bot 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: I2f2e6d9e714b9e1e6f03f3ccd569aaa4369c7d1b
---
M specials/SpecialConstraintReport.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hoo man: Looks good to me, approved
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/specials/SpecialConstraintReport.php
b/specials/SpecialConstraintReport.php
index 64cbd0c..4670717 100644
--- a/specials/SpecialConstraintReport.php
+++ b/specials/SpecialConstraintReport.php
@@ -497,7 +497,7 @@
$indicator
);
- $tooltip = HTML::rawElement(
+ $tooltip = Html::rawElement(
'div',
array (
'class' => 'wbqc-tooltip'
--
To view, visit https://gerrit.wikimedia.org/r/269811
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2f2e6d9e714b9e1e6f03f3ccd569aaa4369c7d1b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Hoo man <h...@online.de>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
