[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0d2f70: Patch for #14257 CodeMirror hints hidden

William Desportes williamdes at wdes.fr
Sat May 5 04:39:54 CEST 2018


  Branch: refs/heads/QA_4_8
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 0d2f70c875804fd0a1a1fb951c4916c10a3a056d
      https://github.com/phpmyadmin/phpmyadmin/commit/0d2f70c875804fd0a1a1fb951c4916c10a3a056d
  Author: William Desportes <williamdes at 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 at wdes.fr>
(cherry picked from commit 24f483793cf6c6857ff856a03ac0c44a71ef7b6c)
Signed-off-by: MaurĂ­cio Meneghini Fauth <mauriciofauth at 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.


More information about the Git mailing list