[phpMyAdmin Git] [phpmyadmin/phpmyadmin] f396db: Remove some variables from PHPStan ignored list

[Maurício Meneghini Fauth]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: f396dbd7ff2a5c56acb63d55ba3b21d9249fe06d
https://github.com/phpmyadmin/phpmyadmin/commit/f396dbd7ff2a5c56acb63d55ba3b21d9249fe06d
Author: Maurício Meneghini Fauth <mauricio at 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 at fauth.dev>

Commit: cd4068f52566fc705c83b5ffbf91e1fc25470acb
https://github.com/phpmyadmin/phpmyadmin/commit/cd4068f52566fc705c83b5ffbf91e1fc25470acb
Author: Maurício Meneghini Fauth <mauricio at 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 at fauth.dev>