[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 24f483: Patch for #14257 CodeMirror hints hidden
MaurĂcio Meneghini Fauth
mauriciofauth at gmail.com
Sat May 5 04:28:45 CEST 2018
Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 24f483793cf6c6857ff856a03ac0c44a71ef7b6c
https://github.com/phpmyadmin/phpmyadmin/commit/24f483793cf6c6857ff856a03ac0c44a71ef7b6c
Author: William Desportes <williamdes at wdes.fr>
Date: 2018-05-04 (Fri, 04 May 2018)
Changed paths:
M themes/metro/css/codemirror.css.php
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>
Commit: 29115645f3dcefc27301f7715cd28306b14dd547
https://github.com/phpmyadmin/phpmyadmin/commit/29115645f3dcefc27301f7715cd28306b14dd547
Author: MaurĂcio Meneghini Fauth <mauriciofauth at gmail.com>
Date: 2018-05-04 (Fri, 04 May 2018)
Changed paths:
M themes/metro/css/codemirror.css.php
M themes/pmahomme/css/codemirror.css.php
Log Message:
-----------
Merge pull request #14258 from williamdes/issue-14257-codemirror-hints
Patch for #14257 CodeMirror hints hidden
Compare: https://github.com/phpmyadmin/phpmyadmin/compare/0c3d024e3ee3...29115645f3dc
**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