Re: moving TRs to MediaWiki

> 
> > it looks good, but I did not understand which color-coded diffs you are
> > talking about.
> 
> If you look to the right of the "Previous Version" URL, near the top of 
>   http://www.w3.org/2005/rules/wg/draft/ED-rif-bld-20080215/
> and you should see a link called "color-coded diff".

I missed that - thanks. I think the media wiki version actually looks better.

> > Apart from the little problems that you mentioned, I noticed that the new
> > wiki contains all the MoinMoin files (including references, appendix) in
> > one wiki file. Is it how it is supposed to be in Mediawiki?
> 
> Yes.  MediaWiki has no problem with big files or concurrent editing, and
> it has "[edit]" links by each heading to allow editing of just that
> section.

I like that. Easier to find things while editing.


> By the way, there are lots of options other than It's All Text! for
> mediawiki:
>     http://en.wikipedia.org/wiki/Wikipedia:Text_editor_support
> 
> I currently have Preferences/Editing/UseExternalEditorByDefault set,
> with some script which runs emacs, though I can't figure out right now
> how I set it up.  (But it does allow me to stay in emacs while I save
> versions.)

I found that if you do not exit emacs after Save/Preview then you can continue
editing in the same emacs window if you click the edit button again in MoinMoin.
It might still work the same way with Mediawiki because "It's all text"
uses a 1-1 mapping between the names of the wiki pages to the temp file
names on which it starts external editors.


	--michael  

> 
>      -- Sandro
> 
> 
> 
> > > I believe I have completed the script [1] to convert TR-style documents
> > > from MoinMoin to MediaWiki.
> > > 
> > > For example:
> > >    http://www.w3.org/2005/rules/wg/draft/ED-rif-bld-20080214/
> > > was generated by wiki-tr from the MoinMoin page:
> > >    http://www.w3.org/2005/rules/wg/wiki/BLD
> > > 
> > > ... and
> > >    http://www.w3.org/2005/rules/wg/draft/ED-rif-bld-20080215/
> > > was generated by wikisnapper [2] from the MediaWiki page:
> > >    http://www.w3.org/2005/rules/wiki/Conversion-test
> > > 
> > > If you look at the "color coded diff" on the second (0215) page, you'll
> > > see a few differences:
> > > 
> > >    * A comma after the editor's names.   We may want to manually remove
> > >      the parens and make the editor's names links.
> > >    * Some "Please Comment By" boilerplate text
> > >    * The section numbering does not skip levels.   Instead of
> > >      having "2.0.1" (and no "2.1." anything) we now have "2.1".  I
> > >      expect this is a bug-fix.
> > >    * The Table-of-Contents format is slightly different, eg without
> > >      trailing periods on numbers.   
> > >    * There are a few changes in non-breaking whitespace, none of
> > >      which I think is a problem (but it shows up on the diff)
> > >    * The URLs in the Reference are not all turned into links any
> > >      more; I believe the new behavior is correct.
> > > 
> > > (For this diff I cheated and manually expanded " and > in the
> > > new version before running the diff, since mediawiki outputs them.)
> > > 
> > > This turned out to be quite hairy!  See [1] if you're curious.
> > > 
> > > Editors -- please look that Conversion-test page and see if it looks
> > > okay and if you're ready for us to move to MediaWiki.  My script for
> > > publishing from MediaWiki (wikisnapper [2]) automates a lot more of
> > > publishing than wiki-tr did, so I want to use it for the next round.  My
> > > inclination is to switch before the F2F, so we can more easily iron out
> > > any difficulties in the conversion, but I don't want to complicated
> > > things for the editors, either.
> > > 
> > > I had talked at one point about being able to use HTML as the MediaWiki
> > > source format.  That turned out not to work right (the wiki doesn't see
> > > section headings inside an html-block), so we have what we have, which
> > > is wiki markup plus bits of safe-HTML as needed.
> > > 
> > > MediaWiki formatting:
> > >   http://en.wikipedia.org/wiki/Wikipedia:Cheatsheet
> > >   http://en.wikipedia.org/wiki/Wikipedia:How_to_edit_a_page
> > >      
> > > Comments?
> > > 
> > >      -- Sandro
> > > 
> > > [1] http://dev.w3.org/cvsweb/2007/groupdev/tr-to-mediawiki.sh
> > > [2] http://dev.w3.org/cvsweb/2007/groupdev/wikisnapper.py
> > > 
> > > 
> > 
> 

Received on Saturday, 16 February 2008 20:34:58 UTC