CODE EXAMPLE FOR PHP

PHP vsprintf — Return a formatted string

<?php
print vsprintf("%04d-%02d-%02d", explode('-', '1988-8-1'));
?>