gtk.php.net wiki

Hey,

As you probably know, the machine that was hosting gtk.php.net got  
hacked yesterday. As a result, the site had to be moved temporarily  
to another server. This highlighted an important issue: the source  
for the website has to be either in CVS or MySQL. We have that  
covered with the exception of the Wiki which stores its data on the  
hard drive. I think we need to find a replacement that is MySQL- 
backed or abandon Wiki or host it on another site. I don't see it  
being actively used really, so I'm fine with choice #3, but I wanted  
to ask for opinions.

-Andrei