dump():  Added a new "pseudo-php" theme.