Extension:Maps version: 7.20.0

Release date: June 1, 2020