[phpMyAdmin Git] [phpmyadmin/coding-standard] 4074d8: Merge pull request #11 from MauricioFauth/doctrine-upgrade