[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 88022c: Update master to 5.0.0-dev

[Maurício Meneghini Fauth]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 88022c62e3a551f8f6058f09b2049bd9e377130c
      https://github.com/phpmyadmin/phpmyadmin/commit/88022c62e3a551f8f6058f09b2049bd9e377130c
  Author: Maurício Meneghini Fauth <mauriciofauth at gmail.com>
  Date:   2018-04-11 (Wed, 11 Apr 2018)

  Changed paths:
    M ChangeLog
    M README
    M doc/conf.py
    M libraries/classes/Config.php
    M test/classes/ThemeTest.php
    M test/classes/_data/gen_version_info/theme.json
    M themes/original/theme.json
    M themes/pmahomme/theme.json

  Log Message:
  -----------
  Update master to 5.0.0-dev

Signed-off-by: Maurício Meneghini Fauth <mauriciofauth at gmail.com>