From 25c2a61d16d336440d420d6fd81c92c1108b4bab Mon Sep 17 00:00:00 2001 From: Sven Date: Wed, 19 Nov 2008 12:17:55 +0000 Subject: [PATCH] /* Patches */ adjust to mediawiki head 2 --- Interner_Namespace_für_Mediawiki.mw | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/Interner_Namespace_für_Mediawiki.mw b/Interner_Namespace_für_Mediawiki.mw index ea91874f..92381201 100644 --- a/Interner_Namespace_für_Mediawiki.mw +++ b/Interner_Namespace_für_Mediawiki.mw @@ -56,6 +56,21 @@ Index: includes/Title.php } else { global $wgActionPaths; $url = false; +Index: includes/ChangesFeed.php +=================================================================== +--- includes/ChangesFeed.php (revision 43703) ++++ includes/ChangesFeed.php (working copy) +@@ -47,7 +47,9 @@ + self::generateFeed( $rows, $feed ); + $cachedFeed = ob_get_contents(); + ob_end_flush(); +- $this->saveToCache( $cachedFeed, $timekey, $key ); ++ if ( $wgFeedCacheTimeout > 0 ) { ++ $this->saveToCache( $cachedFeed, $timekey, $key ); ++ } + } + return true; + } ==Erstellen einer Kopie von index.php für den internen Bereich==