Last modified: 2009-06-20 14:01:37 UTC
Since release of Safari 4.0 (continuing on upgrade to Safari 4.0.1), on Macs running OS X 10.5.x, MediaWiki:Edit Tools is not appearing as the Java version with dropdown menu on the English Wikipedia. Full description and discussion, including test results to determine scope of problem, is at http://en.wikipedia.org/wiki/Wikipedia:Village_pump_(technical)#edit-tools_not_functioning_in_Safari_for_the_Mac.
Nothing to do with Mediawiki; the problem will be in en.wp's Mediawiki:Common.js/edit.js or Mediawiki:Edittools.js.