Improved filecache short-circuit slightly (catching NS_MEDIA and such)

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 74e93d1..f5f6d84 100644 (file)
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -594,7 +594,7 @@ class MediaWiki {
                        return;
                }
 
-               if ( $wgUseFileCache && $wgTitle->getNamespace() != NS_SPECIAL ) {
+               if ( $wgUseFileCache && $wgTitle->getNamespace() >= 0 ) {
                        wfProfileIn( 'main-try-filecache' );
                        // Raw pages should handle cache control on their own,
                        // even when using file cache. This reduces hits from clients.