[Systems] add wiki extension

[Ivan Krstić]

On Nov 9, 2008, at 12:29 PM, David Farning wrote:
> Could you grant me the permissions necessary to add extensions to  
> the mediawiki?


There's no simple (e.g. web-based) interface for doing so; we'd have  
to grant you root access on the machine, which is highly impractical.  
Bernie and I are happy to install wiki extensions when requested --  
just shoot an e-mail to this list. What would you like to install?

--
Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org