Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: f396dbd7ff2a5c56acb63d55ba3b21d9249fe06d https://github.com/phpmyadmin/phpmyadmin/commit/f396dbd7ff2a5c56acb63d55ba3b... Author: Maurício Meneghini Fauth <mauricio@fauth.dev> Date: 2019-05-14 (Tue, 05 May 2019) -03:00 Changed paths: M phpstan.neon.dist Log Message: ----------- Remove some variables from PHPStan ignored list Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev> Commit: cd4068f52566fc705c83b5ffbf91e1fc25470acb https://github.com/phpmyadmin/phpmyadmin/commit/cd4068f52566fc705c83b5ffbf91... Author: Maurício Meneghini Fauth <mauricio@fauth.dev> Date: 2019-05-14 (Tue, 05 May 2019) -03:00 Changed paths: M db_operations.php M index.php M phpstan.neon.dist Log Message: ----------- Remove $server global from PHPStan ignored list Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>