They can just save it as its normal name. WC3 does not stop people calling different map files the same map name,when some1 edit my map and save it with different name then unknown error will pop up when he play it.
constant string MAP_NAME = "JASSSCRIPTMAP 1.0"