php与えられたurlからファイル拡張子を取得する方法


本明細書の例は、phpが与えられたurlからファイルの拡張子を取得する方法を説明する。皆さんの参考にしてください。具体的な実現方法は以下の通りです。

<?php
/**
 *   url,      
 * @param string $url
 * @return string
 */
function getUrlPostfix ($url)
{
  $url_arr = explode('.', $url);
  $postfix = $url_arr[count($url_arr) - 1];
  $substr = substr($postfix, 0, 3);
  return $substr;
}
$url = "https://www.jb51.net/index.html?id=1";
$str = getUrlPostfix($url);
echo $str . "
";
本論文で述べたように、皆さんのphpプログラムの設計に役に立ちます。