public function setFileDeleted($pathAndFilename)
    {
        if (isset($this->filesAndModificationTimes[$pathAndFilename])) {
            unset($this->filesAndModificationTimes[$pathAndFilename]);
            $this->modificationTimesChanged = true;
        }
    }
public function setFileDeleted($pathAndFilename)
    {
        if (isset($this->filesAndModificationTimes[$pathAndFilename])) {
            unset($this->filesAndModificationTimes[$pathAndFilename]);
            $this->modificationTimesChanged = true;
        }
    }
public function setFileDeleted ( $ pathAndFilename ) { if ( isset ( $ this -> filesAndModificationTimes [ $ pathAndFilename ] ) ) { unset ( $ this -> filesAndModificationTimes [ $ pathAndFilename ] ) ; $ this -> modificationTimesChanged = true ; } }
Notify the change strategy that this file was deleted and does not need to be tracked anymore.

@param string $pathAndFilename
@return void
Notify the change strategy that this file was deleted and does not need to be tracked anymore .