[MediaWiki-l] Maps 3.8 has been released!