时间:2021-07-01 10:21:17 帮助过:41人阅读
$filename = '617.gif' ; function pictype ( $file ) { /*$png_header = "/x89/x50/x4e/x47/x0d/x0a/x1a/x0a"; $jpg_header = "/xff/xd8";*/ $header = file_get_contents ( $file , 0 , NULL , 0 , 5 ); //echo bin2hex($header); if ( $header { 0 }. $header { 1 }== "/x89/x50" ) { return 'png' ; } else if( $header { 0 }. $header { 1 } == "/xff/xd8" ) { return 'jpeg' ; } else if( $header { 0 }. $header { 1 }. $header { 2 } == "/x47/x49/x46" ) { if( $header { 4 } == "/x37" ) return 'gif87' ; else if( $header { 4 } == "/x39" ) return 'gif89' ; } } echo pictype ( $filename );
希望本文所述对大家的php程序设计有所帮助。
更多相关教程请访问 php编程从入门到精通全套视频教程