Branch: refs/heads/QA_4_8 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 0d2f70c875804fd0a1a1fb951c4916c10a3a056d https://github.com/phpmyadmin/phpmyadmin/commit/0d2f70c875804fd0a1a1fb951c49... Author: William Desportes <williamdes@wdes.fr> Date: 2018-05-04 (Fri, 04 May 2018) Changed paths: M themes/pmahomme/css/codemirror.css.php Log Message: ----------- Patch for #14257 CodeMirror hints hidden [CI skip] Signed-off-by: William Desportes <williamdes@wdes.fr> (cherry picked from commit 24f483793cf6c6857ff856a03ac0c44a71ef7b6c) Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com> **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.