Closed williamdes closed 6 years ago
This looks very nice. I'm a bit busy for the next few days or in to next week, so if @nijel doesn't have time to review it before then I'll definitely work on merging this at that point.
Merged, thanks for your contribution! It's now live: https://develdocs.phpmyadmin.net/
Closes: #11