}
return $year && $month && $day ? $year . '-' . $month . '-' . $day : '';
}
+
/**
* Print the history page for an article.
*/
}
// Handle atom/RSS feeds.
- $feedType = $request->getVal( 'feed' );
- if ( $feedType ) {
+ $feedType = $request->getRawVal( 'feed' );
+ if ( $feedType !== null ) {
$this->feed( $feedType );
-
return;
}
- $this->addHelpLink( '//meta.wikimedia.org/wiki/Special:MyLanguage/Help:Page_history', true );
+ $this->addHelpLink(
+ 'https://meta.wikimedia.org/wiki/Special:MyLanguage/Help:Page_history',
+ true
+ );
// Fail nicely if article doesn't exist.
if ( !$this->page->exists() ) {
$htmlForm
->setMethod( 'get' )
->setAction( wfScript() )
+ ->setCollapsibleOptions( true )
->setId( 'mw-history-searchform' )
->setSubmitText( $this->msg( 'historyaction-submit' )->text() )
->setWrapperAttributes( [ 'id' => 'mw-history-search' ] )