Whichever way we chose, could we have http redirects from the old
svn.wikimedia.org? There's a lot of urls that link there.
I prefer
doc.mediawiki.org/<project>/<version>/<master> (aka
doc.mediawiki.org/core/master/php ) as in my mind, the hierarchy makes
more sense like that, as the type of code is something more
fine-grained than what version, and also something that belongs to the
version number in a sense. I also like keeping the names MediaWiki and
Wikimedia separate. At the end of the day it doesn't really matter
which way though.
It would also be cool if puppet docs were on
doc.wikimedia.org, but if
you had
doc.mediawiki.org in the url, things auto redirected (and vice
veras: if you went to
doc.wikimedia.org/core/master/php things
redirected to
doc.mediawiki.org/core/master/php )
Cheers,
Bawolff
On Fri, Feb 8, 2013 at 11:18 AM, Antoine Musso <hashar+wmf(a)free.fr> wrote:
Hello,
We have historically generated MediaWiki documentation on the Subversion
server known as formey:
https://svn.wikimedia.org/doc/
That the result of running doxygen once per day against the master
branch of mediawiki/core.git.
We would like to move the documentation to another host and I think it
is a good time to change the URL as well to something a bit more
meaningful than
svn.mediawiki.org :-]
We also have auto generated documentation for our puppet manifest at:
http://doc.wikimedia.org/puppet/
Timo and I kind of disagree on the URL scheme to use to publish the
documentation, so instead of starting a revert war in Gerrit, I thought
it would be a good idea to ask some more people to participate in.
For the context:
We would like to have documentation generated for:
- puppet
- mediawiki branches and tags (PHP + JS + CSS)
- mediawiki extensions (PHP + JS + CSS)
The hosts
doc.wikimedia.org and
doc.mediawiki.org points to the same
machine.
I guess puppet could land at
doc.wikimedia.org/puppet
For MediaWiki we need the following parameters:
- project (core / extension name)
- version (tag / release branch / master)
- type of documented source (php / js / css)
What kind of magic ordering can we agree on?
A)
http://doc.wikimedia.org/mediawiki-core/<branch|tag>/php
Would bring:
doc.wikimedia.org/mediawiki-core/master/php
doc.wikimedia.org/mediawiki-core/master/js
doc.wikimedia.org/mediawiki-core/1.20.2/php
doc.wikimedia.org/mediawiki-core/REL1_20/js
doc.wikimedia.org/mediawiki-AbuseFilter/1.20.2/php
B)
doc.mediawiki.org/<project>/<type>/<version>/
Would bring:
doc.mediawiki.org/core/php/master
doc.mediawiki.org/core/js/master
doc.mediawiki.org/core/php/1.20.2
doc.mediawiki.org/core/js/REL1_20
doc.mediawiki.org/AbuseFilter/php/REL1_20
Other thoughts?
I would prefer having the MediaWiki doc hosted on the
mediawiki.org
domain. As for the ordering I guess we can bikeshed for a long time but
most probably some ordering will seem natural for most people there :-]
Thanks!
--
Antoine "hashar" Musso
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l