Michal Čihař - Weekly phpMyAdmin contributions 2017-W34

Weekly phpMyAdmin contributions 2017-W34

Last week was again mostly spent on fixing bugs and going through reports on our error reporting server. This is really valuable tool for finding problems which hit our users, on the other side there is simply too many things there and sometimes it's hard to pinpoint something really important.

Besides that I've also ensured that all our libraries work well with upcoming PHP 7.2 and all are now tested on Travis CI against this version as well.

Handled issues: