Maybe we can still make this thread useful in some way. Not sure if you knew, but you could achieve the same with one function call:
PHP Code:
$date = date("d m Y / H i");
You can use pretty much any character in the date() function, just be careful when you're using characters that represent a date format. Then you have to escape it with a backslash.