Fix linting after PHP7.3 + php-cs-fixer upgrade

Is this a bug? Make sure to use the Bug template above and be as detailed in your report as possible.