jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/384301 )
Change subject: Fix letter-case of several namespace and class names ...................................................................... Fix letter-case of several namespace and class names 'Mediawiki\Widget\SelectWithInputWidget' is the only one that shows up in the logs, but I tidied up a few others I came across. Change-Id: I700dec858007a8013e6d7b9e37ddf518f223d8b7 --- M includes/Preferences.php M includes/htmlform/fields/HTMLSelectAndOtherField.php M includes/htmlform/fields/HTMLSelectOrOtherField.php M includes/specials/SpecialExport.php M includes/specials/SpecialPreferences.php M includes/specials/pagers/NewPagesPager.php 6 files changed, 6 insertions(+), 6 deletions(-) Approvals: Krinkle: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/Preferences.php b/includes/Preferences.php index ba90121..94854fa 100644 --- a/includes/Preferences.php +++ b/includes/Preferences.php @@ -1350,7 +1350,7 @@ * @param IContextSource $context * @param string $formClass * @param array $remove Array of items to remove - * @return PreferencesForm|HtmlForm + * @return PreferencesForm|HTMLForm */ static function getFormObject( $user, diff --git a/includes/htmlform/fields/HTMLSelectAndOtherField.php b/includes/htmlform/fields/HTMLSelectAndOtherField.php index 910a053..cdb8f5b 100644 --- a/includes/htmlform/fields/HTMLSelectAndOtherField.php +++ b/includes/htmlform/fields/HTMLSelectAndOtherField.php @@ -126,7 +126,7 @@ } public function getInputWidget( $params ) { - return new Mediawiki\Widget\SelectWithInputWidget( $params ); + return new MediaWiki\Widget\SelectWithInputWidget( $params ); } /** diff --git a/includes/htmlform/fields/HTMLSelectOrOtherField.php b/includes/htmlform/fields/HTMLSelectOrOtherField.php index f6c0b07..fb133f2 100644 --- a/includes/htmlform/fields/HTMLSelectOrOtherField.php +++ b/includes/htmlform/fields/HTMLSelectOrOtherField.php @@ -136,7 +136,7 @@ } public function getInputWidget( $params ) { - return new Mediawiki\Widget\SelectWithInputWidget( $params ); + return new MediaWiki\Widget\SelectWithInputWidget( $params ); } /** diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php index 8e6c446..eb7be51 100644 --- a/includes/specials/SpecialExport.php +++ b/includes/specials/SpecialExport.php @@ -23,7 +23,7 @@ * @ingroup SpecialPage */ -use Mediawiki\MediaWikiServices; +use MediaWiki\MediaWikiServices; /** * A special page that allows users to export pages in a XML file diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php index ba5a57e..7c55e5c 100644 --- a/includes/specials/SpecialPreferences.php +++ b/includes/specials/SpecialPreferences.php @@ -121,7 +121,7 @@ * Get the preferences form to use. * @param User $user The user. * @param IContextSource $context The context. - * @return PreferencesForm|HtmlForm + * @return PreferencesForm|HTMLForm */ protected function getFormObject( $user, IContextSource $context ) { return Preferences::getFormObject( $user, $context ); diff --git a/includes/specials/pagers/NewPagesPager.php b/includes/specials/pagers/NewPagesPager.php index 53362d9..a87bbb7 100644 --- a/includes/specials/pagers/NewPagesPager.php +++ b/includes/specials/pagers/NewPagesPager.php @@ -28,7 +28,7 @@ protected $opts; /** - * @var HtmlForm + * @var HTMLForm */ protected $mForm; -- To view, visit https://gerrit.wikimedia.org/r/384301 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I700dec858007a8013e6d7b9e37ddf518f223d8b7 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org> Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits