AMP_Img_Sanitizer::is_gif_url PHP Method

    private function is_gif_url($url)
    {
        $ext = self::$anim_extension;
        $path = parse_url($url, PHP_URL_PATH);
        return substr($path, -strlen($ext)) === $ext;
    }