purge file cache on save

diff --git a/includes/Article.php b/includes/Article.php
index e3ac744..9a26a2e 100644 (file)
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1127,7 +1127,7 @@ class Article {
        function updateArticle( $text, $summary, $minor, $watchthis, $forceBot = false, $sectionanchor = '' ) {
                global $wgOut, $wgUser;
                global $wgDBtransactions, $wgMwRedir;
-               global $wgUseSquid, $wgInternalServer, $wgPostCommitUpdateList;
+               global $wgUseSquid, $wgInternalServer, $wgPostCommitUpdateList, $wgUseFileCache;
 
                $fname = 'Article::updateArticle';
                $good = true;
@@ -1232,6 +1232,12 @@ class Article {
                                array_push( $wgPostCommitUpdateList, $u );
                        }
 
+                       # File cache    
+                       if ( $wgUseFileCache ) {
+                               $cm = new CacheManager($this->mTitle);
+                               @unlink($cm->fileCacheName());
+                       }
+
                        $this->showArticle( $text, wfMsg( 'updated' ), $sectionanchor, $isminor, $now, $summary, $lastRevision );
                }
                return $good;