public static function fileRenamed($info) { $oldpath = $info["oldpath"]; $newpath = $info["newpath"]; $array = PersistentMap::get_paths(); if (self::$DO_LOG) { error_log("fileRenamed " . $oldpath . " to " . $newpath); } if (array_key_exists($oldpath, $array)) { unset($array[$oldpath]); } if (array_key_exists($newpath, $array)) { unset($array[$newpath]); } PersistentMap::save($array); }