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

Reply via email to