getMapHeaderInfo method
Returns the high-level metadata for this map file, such as its bounding box, start position, and available languages.
Requires _lateOpen to have been completed.
Implementation
MapHeaderInfo getMapHeaderInfo() {
return _mapFileInfo.getMapHeaderInfo();
}