id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,parents 478,Recover and reset theme on wiki.mediagoblin.org,joar,,"The theme we had on wiki.mediagoblin.org is not anymore, I hear it is because of a !MediaWiki update. I think we should investigate how to reapply it on the updated !MediaWiki instance.",defect,closed,minor,,infrastructure,fixed,,Jef van Schendel Amirouche,