FileDependency.php

Go to the documentation of this file.

<?php
class FileDependency extends CacheDependency {
    private $filename;
    private $timestamp;
 
    function __construct( $filename, $timestamp = null ) {
        $this->filename = $filename;
        $this->timestamp = $timestamp;
    }
 
    function __sleep() {
        $this->loadDependencyValues();
 
        return [ 'filename', 'timestamp' ];
    }
 
    function loadDependencyValues() {
        if ( is_null( $this->timestamp ) ) {
            Wikimedia\suppressWarnings();
            # Dependency on a non-existent file stores "false"
            # This is a valid concept!
            $this->timestamp = filemtime( $this->filename );
            Wikimedia\restoreWarnings();
        }
    }
 
    function isExpired() {
        Wikimedia\suppressWarnings();
        $lastmod = filemtime( $this->filename );
        Wikimedia\restoreWarnings();
        if ( $lastmod === false ) {
            if ( $this->timestamp === false ) {
                # Still nonexistent
                return false;
            }
 
            # Deleted
            wfDebug( "Dependency triggered: {$this->filename} deleted.\n" );
 
            return true;
        }
 
        if ( $lastmod > $this->timestamp ) {
            # Modified or created
            wfDebug( "Dependency triggered: {$this->filename} changed.\n" );
 
            return true;
        }
 
        # Not modified
        return false;
    }
}