PHP_PHPチュートリアルでヘッダー情報を取得して画像タイプを判断する方法

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

$ファイル名 = '617.gif' ;

関数 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 );

//エコー bin2hex($header);

if ( $header { 0 }. $header { 1 }== "/x89/x50" )

{

「png」を返します ;

}

else if( $header { 0 }. $header { 1 } == "/xff/xd8" )

{

「jpeg」を返します ;

}

else if( $header { 0 }. $header { 1 }. $header { 2 } == "/x47/x49/x46" )

{

if( $header { 4 } == "/x37" )

「gif87」を返します ;

else if( $header { 4 } == "/x39" )

「gif89」を返します ;

}

}

echo pictype ( $filename );