Hi all

I think it's time to resurrect this topic :-).

Let me summarize current state:

* wiki.phpmyadmin.net was shut down due to problems we had with
outdated MediaWiki version

* it's content has been imported to GitHub wiki

* the website now redirects to GitHub wiki

We've lost some of the functions because of this, but on the other
side, I don't think we really miss them (maybe besides categories).
Please let me know which things do you miss.

Overall I think the GitHub wiki works quite well:

* there is very small amount of spam

* it does not require any maintenance from us

* I can git clone the content and edit it locally

Do you see good reasons to use some other wiki engine?