How to get first 3 letters of the current date code example

Example: How to get first 3 letters of the current date

$result = substr(date('F'), 0, 3)