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

@param  string $path
@return int
@throws OperationError
Get the file s modification time