PHP判断一个gif图片是否为动态图片的方法