phpmyadmin/phpmyadmin — pull request #108 by nijel (2012-11-12 09:16:51+00:00)
Title: New documentation

This merges new documentation into master.