/* Patches */ adjust to mediawiki head 2

2008-11-19 12:17:55 +00:00 · 2008-11-19 12:17:55 +00:00 · 25c2a61d16
parent 132bad6ccd
commit 25c2a61d16
1 changed files with 15 additions and 0 deletions
--- 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;
+ 	}
 </pre>

 ==Erstellen einer Kopie von index.php für den internen Bereich==