PHP - Dernier jour du mois / Nombre de jours dans le mois

Soient $m le numéro du mois en question et $y l'année. La fonction date() permet d'afficher directement le nombre de jours dans le mois avec le caractère "t" : 

<?php
      $mois = mktime( 0, 0, 0, $m, 1, $y ); 
      setlocale('LC_ALL', 'fr_FR');
      echo "Le mois de ".date("F Y",$mois)." possède ".date("t",$mois)." jours";
?>

Il est possible de récupérer cette valeur de la manière suivante : 

<?php $nombreDeJours = intval(date("t",$mois)); ?>‍

 
HP Compaq 6510 6515b 6710b 6715b 6910p nc6100 battery
HP-Compaq 550 610,615 6720s, 6720s/CT, 6730s Series battery
‍