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=1...
Plugin features and installation descriptions: http://phpeclipse.de/tiki-index.php?page=Wikipedia+Editor+Plugin
wikitech-l@lists.wikimedia.org