From 99e923553e80e66b351bec4045525c803205b8a7 Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Tue, 18 May 2004 12:36:13 +0000 Subject: [PATCH] Arbitrary diff selection without javascript The checkboxes are replaced by two columns of radio boxes. If js is available it does some styling tasks/makes sure sensible version combinations are selected. --- includes/PageHistory.php | 60 +++++++++++++++----------------------- languages/Language.php | 5 +++- stylesheets/common.css | 19 ++++++++++-- stylesheets/wikibits.js | 62 ++++++++++++++++++++++++++++++++++++++++ 4 files changed, 106 insertions(+), 40 deletions(-) diff --git a/includes/PageHistory.php b/includes/PageHistory.php index 323bf4f467..c96ab3117a 100644 --- a/includes/PageHistory.php +++ b/includes/PageHistory.php @@ -109,38 +109,10 @@ class PageHistory { { global $wgTitle; $this->lastdate = $this->lastline = ""; - $url = $wgTitle->getFullURL("-"); - $s = "\n"; - $s .= "\n

" . wfMsg( "histlegend" ) . "

\n