string getfiletype_lib (string filename)
해당 파일의 확장자를 반환한다.
(string) filename - file name or path
<?php $a = getfiletype_lib ('aaa.txt'); # print "txt" echo $a; ?>
None
Last updated 5 years ago
Was this helpful?