This is the source files of the plugin MiniWorldTools.