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.
