====== formater un nombre avec des 0 devant ======
$format_number = sprintf('%03d', $your_number);
//Rem: dans ce cas, on obtient un nombre formé de 3 caractères. Ex: 2 --> "002"//
====== afficher le body d'une requête POST ======
$body = @file_get_contents('php://input');
echo $body;
====== Erreur 403 avec file_get_contents($source_file_url) ======
__Problème__ :
Comment éviter d'obtenir une erreur 403 en tentant de télécharger un document depuis certains sites web ?
__Solution__ :
Certains sites bloquent les requêtes si le USER AGENT de la requête est vide. Et par défaut, la fonction //file_get_contents()// de PHP ne spécifie aucun USER AGENT.
Mais il est possible de le faire au moyen du code suivant:
ini_set('user_agent', 'Mozilla/5.0 Gecko/20100214 Firefox/3.5.8');
$file_content = file_get_contents($source_file_url);