jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/385311 )
Change subject: Fix class name letter-case
......................................................................
Fix class name letter-case
Change-Id: Ifbbe537e8cac8b022793e4398c30dfdd148b4bfe
---
M special/SpecialOATHEnable.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/special/SpecialOATHEnable.php b/special/SpecialOATHEnable.php
index fac981f..330e19f 100644
--- a/special/SpecialOATHEnable.php
+++ b/special/SpecialOATHEnable.php
@@ -184,7 +184,7 @@
private function createResourceList( $resources ) {
$resourceList = '';
foreach ( $resources as $resource ) {
- $resourceList .= Html::rawElement( 'li', [],
HTML::rawElement( 'kbd', [], $resource ) );
+ $resourceList .= Html::rawElement( 'li', [],
Html::rawElement( 'kbd', [], $resource ) );
}
return Html::rawElement( 'ul', [], $resourceList );
}
--
To view, visit https://gerrit.wikimedia.org/r/385311
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifbbe537e8cac8b022793e4398c30dfdd148b4bfe
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OATHAuth
Gerrit-Branch: wmf/1.31.0-wmf.4
Gerrit-Owner: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
