[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4b4403: Update to current lint plugin

18 Jul 2017

  Branch: refs/heads/QA_4_7
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 4b4403aeef448e632b3f14d0fb74c4a748eae3c0

https://github.com/phpmyadmin/phpmyadmin/commit/4b4403aeef448e632b3f14d0fb7…
  Author: Michal Čihař &lt;michal(a)cihar.com&gt;
  Date:   2017-07-18 (Tue, 18 Jul 2017)

  Changed paths:
    M js/codemirror/addon/lint/lint.js

  Log Message:
  -----------
  Update to current lint plugin

Our patch has been integrated.

Signed-off-by: Michal Čihař &lt;michal(a)cihar.com&gt;

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4b4403: Update to current lint plugin