From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/cache/CacheDependency.php | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'includes/cache/CacheDependency.php') diff --git a/includes/cache/CacheDependency.php b/includes/cache/CacheDependency.php index 9b48ecb7..517f3798 100644 --- a/includes/cache/CacheDependency.php +++ b/includes/cache/CacheDependency.php @@ -181,13 +181,11 @@ class FileDependency extends CacheDependency { function loadDependencyValues() { if ( is_null( $this->timestamp ) ) { - if ( !file_exists( $this->filename ) ) { - # Dependency on a non-existent file - # This is a valid concept! - $this->timestamp = false; - } else { - $this->timestamp = filemtime( $this->filename ); - } + wfSuppressWarnings(); + # Dependency on a non-existent file stores "false" + # This is a valid concept! + $this->timestamp = filemtime( $this->filename ); + wfRestoreWarnings(); } } @@ -195,7 +193,10 @@ class FileDependency extends CacheDependency { * @return bool */ function isExpired() { - if ( !file_exists( $this->filename ) ) { + wfSuppressWarnings(); + $lastmod = filemtime( $this->filename ); + wfRestoreWarnings(); + if ( $lastmod === false ) { if ( $this->timestamp === false ) { # Still nonexistent return false; @@ -206,7 +207,6 @@ class FileDependency extends CacheDependency { return true; } } else { - $lastmod = filemtime( $this->filename ); if ( $lastmod > $this->timestamp ) { # Modified or created wfDebug( "Dependency triggered: {$this->filename} changed.\n" ); -- cgit v1.2.3-54-g00ecf