How to get short month name from date in php?

In this article, we will implement a php get short month name from date.