PHP code - 5 lines

Link:

PHP, pasted on Mar 24:

<?php

    $date = '9/Feb/16';
    $date = str_replace('/','-',$date);
    echo strtotime($date);

Output:

1	1454976000