| Index: trunk/phase3/includes/WatchlistEditor.php |
| — | — | @@ -434,6 +434,7 @@ |
| 435 | 435 | $form .= '<fieldset><legend>' . wfMsgHtml( 'watchlistedit-raw-legend' ) . '</legend>'; |
| 436 | 436 | $form .= wfMsgExt( 'watchlistedit-raw-explain', 'parse' ); |
| 437 | 437 | $form .= Xml::label( wfMsg( 'watchlistedit-raw-titles' ), 'titles' ); |
| | 438 | + $form .= "<br />\n"; |
| 438 | 439 | $form .= Xml::openElement( 'textarea', array( 'id' => 'titles', 'name' => 'titles', |
| 439 | 440 | 'rows' => $wgUser->getIntOption( 'rows' ), 'cols' => $wgUser->getIntOption( 'cols' ) ) ); |
| 440 | 441 | $titles = $this->getWatchlist( $user ); |