tosher/Mediawiker — pull request #14 by dflock (2013-12-06 22:32:40+00:00)
Title: Move the Mediawiker menu from the File menu to the Tools menu

This Move the Mediawiker menu from the File menu to the Tools menu, where all the other plugins live; it seems to make more sense there. This is certainly where I expect to find plugin related menu entries.