MediaWiki extensions for EcoliWiki, GONUTS, OMPwiki etc