wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-15 03:04:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add a space between input field and button. Looks smarter :)

Browse source
This commit is contained in:
Raimond Spekking 2009-01-01 13:29:46 +00:00
parent 226f5c0acf
commit 2ad7747074
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
InputBox.classes.php
View file

@ -470,13 +470,13 @@ class InputBox {
$this->$var = $values[$name];
}
}
// Insert a line break if configured to do so
$this->mBR = ( strtolower( $this->mBR ) == "no" ) ? '' : '<br />';
$this->mBR = ( strtolower( $this->mBR ) == "no" ) ? ' ' : '<br />';
// Validate the width; make sure it's a valid, positive integer
$this->mWidth = intval( $this->mWidth <= 0 ? 50 : $this->mWidth );
wfProfileOut( __METHOD__ );
}