Hi
There is a first Wikipedia Editor Eclipse Plugin available in the PHPeclipse CVS: http://phpeclipse.de/tiki-index.php?page=Wikipedia+Editor+Plugin
Very buggy at the moment, but the principles for documenting a PHP project with some additional Wikipedia texts should work.
A.C.Kramer
wikitech-l@lists.wikimedia.org