ファイルの拡張子をチェックする

PHP 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>ファイルの拡張子をチェックしたい</title>
</head>
<body>
<?php
if (isset($_FILES['example']['name']) && $_FILES['example']['name'] != '') {
  $localFilename = $_FILES['example']['name'];
  $pathinfo = pathinfo($localFilename);
  if (isset($pathinfo['extension'])) {
    echo '<p>「' . h($localFilename) . '」の拡張子: ';
    echo h($pathinfo['extension']) . '</p>';
  } else {
    echo '<p>「' . h($localFilename) . '」の拡張子はありません</p>';
  }
}

function h($string) { // HTMLでのエスケープ処理をする関数
  return htmlspecialchars($string, ENT_QUOTES);
}
?>
<form method="post" action="" enctype="multipart/form-data">
<p>ファイルを指定してください</p>
<input type="file" name="example" value="" />
<input type="submit" value="送信する" />
</form>
</body>
</html>