Seb35 has uploaded a new change for review.
https://gerrit.wikimedia.org/r/321171
Change subject: Bug: there was no more update of the cache when the origin file
changed
......................................................................
Bug: there was no more update of the cache when the origin file changed
This worked in the first place, but was lost at some time
Change-Id: Ideddbf3eaaafa1cfde822ccce413fda7afaf4408
---
M src/MediaWikiFarm.php
M src/main.php
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MediaWikiFarm
refs/changes/71/321171/1
diff --git a/src/MediaWikiFarm.php b/src/MediaWikiFarm.php
index f6e8885..77dbdcd 100644
--- a/src/MediaWikiFarm.php
+++ b/src/MediaWikiFarm.php
@@ -918,7 +918,7 @@
}
# Populate from cache
- if( $this->cacheDir && is_file( $this->cacheDir . '/' .
$cacheFile ) ) {
+ if( !$force && $this->cacheDir && is_file( $this->cacheDir .
'/' . $cacheFile ) ) {
$this->configuration = $this->readFile( $cacheFile,
$this->cacheDir );
return;
}
diff --git a/src/main.php b/src/main.php
index b3588b8..e1a0eea 100644
--- a/src/main.php
+++ b/src/main.php
@@ -24,7 +24,7 @@
}
# Compile MediaWiki configuration
-$wgMediaWikiFarm->getMediaWikiConfig();
+$wgMediaWikiFarm->getMediaWikiConfig( true );
# Load skins with the require_once mechanism
foreach( $wgMediaWikiFarm->getConfiguration( 'skins' ) as $skin => $value ) {
--
To view, visit https://gerrit.wikimedia.org/r/321171
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ideddbf3eaaafa1cfde822ccce413fda7afaf4408
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MediaWikiFarm
Gerrit-Branch: master
Gerrit-Owner: Seb35 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
