protected function getFileMTime($path) {
		$mtime = filemtime($path);
			
		if ($mtime === false) {
			throw new OperationError('Unable to determine modification time of the file: "' . $path . '"');
		}
		
		return $mtime;
	}