diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-02-21 07:27:15 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-02-21 07:27:15 +0000 |
| commit | 9ea05545197378466dc3ceee0f55bcd5819264cb (patch) | |
| tree | df8f9df6024e0ecd35769152027fb5f6f1dee8e1 /includes/Wiki.php | |
| parent | c39aeb62f7e8dfb6ba6467beb2d9d6f97fd84959 (diff) | |
Aktualisierung auf MediaWiki 1.9.3
Diffstat (limited to 'includes/Wiki.php')
| -rw-r--r-- | includes/Wiki.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/includes/Wiki.php b/includes/Wiki.php index 06ae8cfe..06248b35 100644 --- a/includes/Wiki.php +++ b/includes/Wiki.php @@ -422,7 +422,8 @@ class MediaWiki { } break; case 'history': - if( $_SERVER['REQUEST_URI'] == $title->getInternalURL( 'action=history' ) ) { + global $wgRequest; + if( $wgRequest->getFullRequestURL() == $title->getInternalURL( 'action=history' ) ) { $output->setSquidMaxage( $this->getVal( 'SquidMaxage' ) ); } $history = new PageHistory( $article ); |