| Index: trunk/phase3/includes/SpecialPreferences.php |
| — | — | @@ -855,7 +855,7 @@ |
| 856 | 856 | |
| 857 | 857 | $wgOut->addHTML( '<label for="wpWatchlistDays">' . wfMsgHtml( 'prefs-watchlist-days' ) . '</label> ' ); |
| 858 | 858 | $wgOut->addHTML( '<input type="text" name="wpWatchlistDays" id="wpWatchlistDays" value="' . $this->mWatchlistDays . '" size="3" />' ); |
| 859 | | - $wgOut->addHTML( '<p></p>' ); # Spacing |
| | 859 | + $wgOut->addHTML( '<br /><br />' ); # Spacing |
| 860 | 860 | $wgOut->addHTML( $this->getToggles( array( 'watchlisthideown', 'watchlisthidebots', 'extendwatchlist' ) ) ); |
| 861 | 861 | $wgOut->addHTML( '<label for="wpWatchlistEdits">' . wfMsgHtml( 'prefs-watchlist-edits' ) . '</label> ' ); |
| 862 | 862 | $wgOut->addHTML( '<input type="text" name="wpWatchlistEdits" id="wpWatchlistEdits" value="' . $this->mWatchlistEdits . '" size="3" />' ); |