Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 24f483793cf6c6857ff856a03ac0c44a71ef7b6c https://github.com/phpmyadmin/phpmyadmin/commit/24f483793cf6c6857ff856a03ac0c44a71ef7b6c Author: William Desportes <william...@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 <william...@wdes.fr> Commit: 29115645f3dcefc27301f7715cd28306b14dd547 https://github.com/phpmyadmin/phpmyadmin/commit/29115645f3dcefc27301f7715cd28306b14dd547 Author: Maurício Meneghini Fauth <mauriciofa...@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.
_______________________________________________ Git mailing list Git@phpmyadmin.net https://lists.phpmyadmin.net/mailman/listinfo/git