[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Fix letter-case of several namespace and class names
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
Gerrit-Reviewer: Aaron Schulz
Gerrit-Reviewer: Florianschmidtwelzow
Gerrit-Reviewer: Krinkle
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Fix letter-case of several namespace and class names
Ori.livneh has uploaded a new change for review. (
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/01/384301/1
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: newchange
Gerrit-Change-Id: I700dec858007a8013e6d7b9e37ddf518f223d8b7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
