public function setFileDeleted($pathAndFilename) { if (isset($this->filesAndModificationTimes[$pathAndFilename])) { unset($this->filesAndModificationTimes[$pathAndFilename]); $this->modificationTimesChanged = true; } }