Split time and date for better i18n

Translatewiki uses this since months but it was was never done in core?!

diff --git a/includes/HistoryPage.php b/includes/HistoryPage.php
index f5f6211..6103a93 100644 (file)
--- a/includes/HistoryPage.php
+++ b/includes/HistoryPage.php
@@ -259,8 +259,11 @@ class HistoryPage {
                if( $rev->getComment() == '' ) {
                        global $wgContLang;
                        $title = wfMsgForContent( 'history-feed-item-nocomment',
-                       $rev->getUserText(),
-                       $wgContLang->timeanddate( $rev->getTimestamp() ) );
+                               $rev->getUserText(),
+                               $wgContLang->timeanddate( $rev->getTimestamp() ),
+                               $wgContLang->date( $rev->getTimestamp() ),
+                               $wgContLang->time( $rev->getTimestamp() )
+                       );
                } else {
                        $title = $rev->getUserText() .
                        wfMsgForContent( 'colon-separator' ) .