From d54283d3a19d47b3a20f5b799fd304046073a5fc Mon Sep 17 00:00:00 2001 From: Vater Date: Tue, 9 Jul 2013 16:46:36 +0000 Subject: [PATCH] *Empty MediaWiki Message* --- Interner_Namespace_für_Mediawiki.mw | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Interner_Namespace_für_Mediawiki.mw b/Interner_Namespace_für_Mediawiki.mw index 63b03303..dd4352e8 100644 --- a/Interner_Namespace_für_Mediawiki.mw +++ b/Interner_Namespace_für_Mediawiki.mw @@ -1,4 +1,3 @@ -[[Kategorie:Wissen]][[Kategorie:Mediawiki]] ==Patches== Patch um unbekannte Namespaces zu verstecken und das Cachen des Feeds zu verhindern wenn $wgFeedCacheTimeout gleich 0 ist.
@@ -205,3 +204,6 @@ Damit im öffentlichen Teil des Wikis Links auf den internen Bereich nicht rot e
 
 ==TODO==
 Der derzeitige Ansatz ist nicht besonders schön und hat eventuell Lücken wo man doch an den Content interner Artikel rankommen könnte. [[Sven]] plant das ganze nochmal richtig cool zu machen indem der Public Teil des Wiki nur auf Views arbeitet, die interne Namespaces garnicht enthalten. Das ist mit PostgreSQL-Rules möglich und würde die Patches an Mediawiki unnötig machen.
+
+[[Kategorie:Wissen]]
+[[Kategorie:Wiki]]