Issue #2866206 by Mario Steinitz: PHP lint error in src/Controller/GeshiFilterConflicts(Forgot to do this change on previous commit).