function makeFavIcon($background_color){
# Si on a changé la coupeur dans color.php
if (filemtime('favicon.png')!=filemtime('colors.php')){
# on charge le logo
$logo=imagecreatefrompng ('img/logo.png');
# ça c'est pour la transparence
imageAlphaBlending($logo, true);
imageSaveAlpha($logo, true);
# on crée l'image de fond
$fav=imagecreatetruecolor(140,140);
imageAlphaBlending($fav, true);
imageSaveAlpha($fav, true);
# on extrait la couleur (passée en #fff ou #ffffff)
preg_match('/#?([a-fA-F0-9]{1,2})([a-fA-F0-9]{1,2})([a-fA-F0-9]{1,2})/',$background_color,$color);
if (strlen($color[1])<2){
$color[1]=$color[1].$color[1];
$color[2]=$color[2].$color[2];
$color[3]=$color[3].$color[3];
}
$color=array_map("hexdec",$color);
$color = ImageColorAllocate ($fav,$color[1],$color[2],$color[3]);
# on crée le fond dans la couleur
imagefilledrectangle ($fav,0,0,140,140,$color);
imagecopy($fav,$logo,0,0,0,0,140,140);
# on sauve l'image
imagepng($fav, 'favicon.png');
# on libère la mémoire
imagedestroy($fav);
# on change le filemtime du fichier de couleurs
touch('colors.php');
}
}