Externs for Maps API v3.13.5.
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=48541333