[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 109582: Avoid linting removed files

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 1095829d9ffe0ae7d7f729b7d516bdb873fe1e61
      https://github.com/phpmyadmin/phpmyadmin/commit/1095829d9ffe0ae7d7f729b7d516bdb873fe1e61
  Author: Michal Čihař <michal at cihar.com>
  Date:   2017-05-15 (Mon, 15 May 2017)

  Changed paths:
    M test/ci-lint

  Log Message:
  -----------
  Avoid linting removed files

We can not lint files which have been removed in the commit.

Signed-off-by: Michal Čihař <michal at cihar.com>