Hi all I think it's time to make decision what to do with the wiki. Current status: * wiki.phpmyadmin.net is currently read only due to excessive vandalism which was hard to block * Mediawiki currently running wiki.phpmyadmin.net is no longer security supported [2] * all content pages were copied to GitHub wiki [1] * I'm slowly going through wiki pages and integrate that to our user documentation if it fits there [1]: https://github.com/phpmyadmin/phpmyadmin/wiki [2]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=825127 Possible solutions: * bring Mediawiki on wiki.phpmyadmin.net back to usable state - we will have to handle security fixes and so on - need some way to prevent vandalism * use wiki on GitHub - it's for free with the repository - the wiki is quite limited (no categories, no search, ...) - having wiki content as Git repository is great * use other solution for wiki.phpmyadmin.net - we could use cleaned up wiki content which is currently used on GitHub - I'd really prefer something with Git integration - preferably use GitHub authentication, so that we do not have to maintain another list of users - one of possible tools to do that is ikiwiki My suggestion: I don't think that maintaining Mediawiki is way to go. From remaining choices I slightly prefer using wiki on GitHub as it needs no maintenance from us, however it limits wiki features. Please share your opinion. -- Michal Čihař | http://cihar.com/ | https://weblate.org/