- date: documentation ( source)
- strtotime: documentation ( source)
- printf: documentation ( source)
<?php
$febToInt = strtotime("February");
printf("February to int:\n\tType: %s; Value: %d\nDate string: %s.\n", gettype($febToInt), $febToInt, date('F', $febToInt));