[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7b13da: Added phpstan

[Maurício Meneghini Fauth]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 7b13da98cd008eb4b5b5b5d59639ad2377452ab9
      https://github.com/phpmyadmin/phpmyadmin/commit/7b13da98cd008eb4b5b5b5d59639ad2377452ab9
  Author: William Desportes <williamdes at wdes.fr>
  Date:   2018-06-15 (Fri, 15 Jun 2018)

  Changed paths:
    M .travis.yml
    M composer.json
    A phpstan.neon
    A test/bootstrap-phpstan.php
    A test/ci-install-phpstan
    A test/ci-phpstan

  Log Message:
  -----------
  Added phpstan

- Added phpstan/phpstan
- Added bootstrap file
- Added phpstan config
- Added ci file
- Added to CI matrix

Signed-off-by: William Desportes <williamdes at wdes.fr>


  Commit: d6cfb361b39bbcf8c1fbf8be0babd6f433b87a6d
      https://github.com/phpmyadmin/phpmyadmin/commit/d6cfb361b39bbcf8c1fbf8be0babd6f433b87a6d
  Author: Maurício Meneghini Fauth <mauriciofauth at gmail.com>
  Date:   2018-06-16 (Sat, 16 Jun 2018)

  Changed paths:
    M .travis.yml
    M composer.json
    A phpstan.neon
    A test/bootstrap-phpstan.php
    A test/ci-install-phpstan
    A test/ci-phpstan

  Log Message:
  -----------
  Merge pull request #14347 from williamdes/phpstan

Add phpstan / finding errors in php code


Compare: https://github.com/phpmyadmin/phpmyadmin/compare/cb2dae58be53...d6cfb361b39b
      **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.