OLD | NEW |
---|---|
(Empty) | |
1 # Placeholder for list of file extensions that the download manager | |
Lei Zhang
2016/04/04 21:24:48
Copyright header.
Nathan Parker
2016/04/04 22:00:53
Done.
| |
2 # knows about. | |
3 # TODO(nparker): Populate this with full list.. | |
4 version_id: 1 | |
5 light_ping_probability: 0.0 | |
6 file_type { | |
7 extension: "exe" | |
8 uma_value: 777 | |
9 is_archive: false | |
10 platform_settings { | |
11 platform: ALL | |
12 danger_level: ALLOW_ON_USER_GESTURE | |
13 auto_open_hint: DISALLOW_AUTO_OPEN | |
14 ping_setting: SEND_FULL_PING | |
15 } | |
16 } | |
17 file_type { | |
18 extension: "zip" | |
19 uma_value: 888 | |
20 is_archive: true | |
21 platform_settings { | |
22 platform: ALL | |
23 danger_level: NOT_DANGEROUS | |
24 auto_open_hint: ALLOW_AUTO_OPEN | |
25 ping_setting: SEND_FULL_PING # TODO: what does this mean w/ zip? | |
26 } | |
27 } | |
28 # file_type {...} | |
29 # file_type {...} | |
30 # file_type {...} | |
31 default_file_type { | |
32 uma_value: 19 | |
33 is_archive: false | |
34 platform_settings { | |
35 platform: ALL | |
36 danger_level: ALLOW_ON_USER_GESTURE | |
37 auto_open_hint: DISALLOW_AUTO_OPEN | |
38 ping_setting: TREAT_AS_UNKNOWN | |
39 } | |
40 } | |
OLD | NEW |