Media statistics
From Event-B
Jump to navigationJump to searchStatistics about uploaded file types. This only includes the most recent version of a file. Old or deleted versions of files are excluded.
Textual
MIME type | Possible extensions | Number of files | Combined size |
---|---|---|---|
text/html | .html, .htm | 1 (0.105%) | 233 bytes (233 bytes; 0.000162%) |
Total file size for this section: 233 bytes (233 bytes; 0.000162%).
Office
MIME type | Possible extensions | Number of files | Combined size |
---|---|---|---|
application/pdf | 191 (20%) | 112,361,500 bytes (107.16 MB; 78.1%) |
Total file size for this section: 112,361,500 bytes (107.16 MB; 78.1%).
Drawings (vector images)
MIME type | Possible extensions | Number of files | Combined size |
---|---|---|---|
image/svg+xml | .svg | 11 (1.15%) | 302,769 bytes (296 KB; 0.211%) |
Total file size for this section: 302,769 bytes (296 KB; 0.211%).
Bitmap images
MIME type | Possible extensions | Number of files | Combined size |
---|---|---|---|
image/png | .png, .apng | 553 (58%) | 22,904,877 bytes (21.84 MB; 15.9%) |
image/jpeg | .jpeg, .jpg, .jpe | 116 (12.2%) | 7,346,034 bytes (7.01 MB; 5.11%) |
image/gif | .gif | 82 (8.6%) | 861,383 bytes (841 KB; 0.599%) |
Total file size for this section: 31,112,294 bytes (29.67 MB; 21.6%).
All files
Total file size for all files: 143,776,796 bytes (137.12 MB).