Issue #2811065 by webflo, klausi, anavarre, tstoeckler, rfay: Fix docs around --printer option in phpunit.xml.dist (cherry picked from commit 4bbbcd67)