Update PrettyPrinter.php