Sun, 17 Oct 2010 19:13:26 +0000 moel.mich Removed the WMI Provider menu entry and restricted WMI to the Windows platform.