$month = $wgRequest->getInt( 'month' );
$action = htmlspecialchars( $wgScript );
- $wgOut->addHTML(
+ $wgOut->addHTML(
+ Xml::fieldset( wfMsg( 'history-search' ) ) .
"<form action=\"$action\" method=\"get\"><div>" .
Xml::hidden( 'title', $this->mTitle->getPrefixedDBKey() ) . "\n" .
Xml::hidden( 'action', 'history' ) . "\n" .
$this->getDateMenu( $year, $month ) . ' ' .
Xml::submitButton( wfMsg( 'allpagessubmit' ) ) . "\n" .
- '</div><hr/></form>'
+ '</div></form></fieldset>'
);
wfRunHooks( 'PageHistoryBeforeList', array( &$this->mArticle ) );
'histlegend' => 'Diff selection: mark the radio boxes of the versions to compare and hit enter or the button at the bottom.<br />
Legend: (cur) = difference with current version,
(last) = difference with preceding version, M = minor edit.',
+'history-search' => 'Search in history',
'history_copyright' => '-', # do not translate or duplicate this message to other languages
'deletedrev' => '[deleted]',
'histfirst' => 'Earliest',