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