PHPで数値を月の名前に変換する方法は？

PHPで数値を月の名前に変換するには、コードは次のとおりです-

例

<?php
   $date = "2019-11-11";
   echo "Displaying date...\n";
   echo "Date = $date";
   $month_name = date("F", mktime(0, 0, 0, 11, 10));
   echo "\nMonth = ".$month_name."\n";
   echo "\nDisplaying updated date...\n";
   echo date('Y-m-d', strtotime($date. ' + 20 days'));
?>

出力

これにより、次の出力が生成されます-

Displaying date...
Date = 2019-11-11
Month = November
Displaying updated date...
2019-12-01

例

別の例を見てみましょう-

<?php
   $date = "2019-11-11";
   echo "Displaying date...\n";
   echo "Date = $date";
   $month_name = date("F", mktime(0, 0, 0, 11, 10));
   echo "\nMonth = ".$month_name."\n";
   echo "\nDisplaying updated date...\n";
   echo date('Y-m-d', strtotime($date. ' + 20 days'));
   $val = DateTime::createFromFormat('!m', 12);
   $month_name2 = $val->format('F');
   echo "\nMonth = ".$month_name2."\n";
?>

出力

これにより、次の出力が生成されます-

Displaying date...
Date = 2019-11-11
Month = November
Displaying updated date...
2019-12-01
Month = December