Wiki about to be migrated to MediaWiki

Hi group.

Our wiki is about to be migrated to MediaWiki. This is an automated  
process, and everything will be migrated except for user accounts, and  
"uploads" or "attachments" in HTML, php, js (which are forbidden by  

Our old group wiki will not be migrated, since it is inactive. Owners of  
content there might wish to see if there is anything that should be put on  
the public wiki.

Best wishes,


Received on Monday, 8 September 2008 11:09:59 UTC