Trying out a different PHP code analyzer