Hi
The PHPeclipse project released an
www.eclipse.org based "Wikipedia
Editor Plugin" 1.1.2a for download:
http://sourceforge.net/project/showfiles.php?group_id=57621&package_id=…
Plugin features and installation descriptions:
http://phpeclipse.de/tiki-index.php?page=Wikipedia+Editor+Plugin
--
A.C.Kramer