wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-27 16:39:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use single type in @var declaration

Browse source 
Replace false by null.

Change-Id: Iebcd973d1cf6cf6d2393ef9bb9548c9a946712a7
This commit is contained in:
Fomafix 2022-11-11 06:58:42 +00:00 committed by Umherirrender
parent b32e733020
commit 7c2d750a70
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
includes/InputBox.php
View file

@ -28,19 +28,19 @@ class InputBox {
private $mType = '';
/** @var int */
private $mWidth = 50;
/** @var string|null */
/** @var ?string */
private $mPreload = null;
/** @var array|null */
/** @var ?array */
private $mPreloadparams = null;
/** @var string|null */
/** @var ?string */
private $mEditIntro = null;
/** @var string|null */
/** @var ?string */
private $mUseVE = null;
/** @var string|null */
/** @var ?string */
private $mSummary = null;
/** @var string|null */
/** @var ?string */
private $mNosummary = null;
/** @var string|null */
/** @var ?string */
private $mMinor = null;
/** @var string */
private $mPage = '';
@ -60,14 +60,14 @@ class InputBox {
private $mFullTextButton = '';
/** @var string */
private $mLabelText = '';
/** @var string|false */
/** @var ?string */
private $mHidden = '';
/** @var string */
private $mNamespaces = '';
/** @var string */
private $mID = '';
/** @var string|false */
private $mInline = false;
/** @var ?string */
private $mInline = null;
/** @var string */
private $mPrefix = '';
/** @var string */
@ -717,7 +717,7 @@ class InputBox {
// T297725: De-obfuscate attempts to trick people into making edits to .js pages
$target = $this->mType === 'commenttitle' ? $this->mPage : $this->mDefaultText;
if ( $this->mHidden && $this->mPreload && substr( $target, -3 ) === '.js' ) {
$this->mHidden = false;
$this->mHidden = null;
}
}