欢迎进入linux社区论坛,与200万技术人员互动交流 >>进入 用php获取文件扩展名的方法总结,可能不是很全,都是一些常规的方法 ?php //操作的文件 $file = “/linux/uploadfiles_7565/201211/20121126215424875.gif”; function getext_1($file) { return strto
欢迎进入linux社区论坛,与200万技术人员互动交流 >>进入
用php获取文件扩展名的方法总结,可能不是很全,都是一些常规的方法