変更したCSS を必ずロードさせるようにする(PHP)

CSSを変更してもブラウザキャッシュに残っててリロードしてくれないのムカつくのでファイルの更新日付をパラメータにくっつけるヤツ。

function load_css($cssfile, $media = null)
{
	$testfile = $cssfile;
	if ($testfile[0] == "/") {
		$testfile = rtrim($_SERVER['DOCUMENT_ROOT'], '/')  . $cssfile;
	}
	$ftime = filemtime($testfile);
	$ins_media = $media ? " media=\"{$media}\"" : "";
	echo "\n";
}