Add MediaWiki 42 and 43 to CI (#789)

Maps 10.2.0

Maps 10.1.2

Release Maps 10.1.1 (#762)

Update INSTALL.md (#755)

Tweak docu

Merge pull request #711 from ProfessionalWiki/rel1000

10.0.0 release

9.0.7 release

Improve redirect handling

9.0.5 release

Update release notes