On Tuesday, August 26, 2014, MZMcBride z@mzmcbride.com wrote:

Legoktm wrote:

...

This is now at [[dev.wikimedia.org]]? That sounds like a much better name than "build", which I thought was going to be some CI automated builds server from your email title :)

dev.wikimedia.org it is, yes. Moving on, please.

We

already have a publishing platform that we can and should leverage and it lives at www.mediawiki.org

This is basically decided as well. However, we still need the best of our technical knowledge to solve this problem: how to extract API documentation from source code repositories and import it to wiki pages. Your ideas and help are welcome -- see the ongoing discussion at http://fab.wmflabs.org/T491