-
-
- /*
- ファイル拡張子を取得します
- 使用法: GetFiletype($filename)
- */
function GetFiletype($Filename) {
- if (substr_count($Filename, ".") == 0) { // ファイル名に . 番号が含まれているかどうかを確認します。
- return; // 空を返す
- } else if (substr($Filename, -1) == ".") { // . で終わるかどうか、つまり拡張子がないことを確認する
- return; // 空を返す
- } else {
- $FileType = strrchr ($Filename, "."); // .number から切り取る $FileType = substr($FileType, 1) // return $FileType; }
$Filename = "index.php";
- $Filename = GetFileType($Filename);
- echo $Filename // php
-
-
-
- コードをコピーします。
-
|