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プログラムの設計に役に立ちます。