Use PHP format for output of variable-get