Adds a button on the Community Maps page (and a menu command) that redirects to a Random Map.
这些是此脚本的所有版本。 只显示代码变更过的版本。
Changes to the button on the Community Maps page to make it possible to open a Random Map in a new tab/window with different mouse clicks just like with any other regular HTML link.
