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/