jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/384310 )
Change subject: Fix letter-case of class name
......................................................................
Fix letter-case of class name
Bug: T166759
Change-Id: I55521054bd811700442a82ad233572faa207b062
---
M includes/SpecialMassMessage.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/SpecialMassMessage.php b/includes/SpecialMassMessage.php
index 73d90d6..9ab37e7 100644
--- a/includes/SpecialMassMessage.php
+++ b/includes/SpecialMassMessage.php
@@ -60,7 +60,7 @@
$this->state = 'form';
}
- $form = new HtmlForm( $this->createForm(), $context );
+ $form = new HTMLForm( $this->createForm(), $context );
$form->setId( 'mw-massmessage-form' );
$form->setDisplayFormat( 'div' );
if ( $this->state === 'form' ) {
--
To view, visit https://gerrit.wikimedia.org/r/384310
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I55521054bd811700442a82ad233572faa207b062
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MassMessage
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Wctaiwan <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits