Media statistics
From Event-B
Jump to navigationJump to search
Statistics 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.104%) | 233 bytes (233 bytes; 0.000155%) |
Total file size for this section of 1 file (0.104%): 233 bytes (233 bytes; 0.000155%).
Office
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| application/pdf | 202 (20.9%) | 119,101,970 bytes (113.58 MB; 79.1%) |
Total file size for this section of 202 files (20.9%): 119,101,970 bytes (113.58 MB; 79.1%).
Drawings (vector images)
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| image/svg+xml | .svg | 11 (1.14%) | 302,769 bytes (296 KB; 0.201%) |
Total file size for this section of 11 files (1.14%): 302,769 bytes (296 KB; 0.201%).
Bitmap images
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| image/png | .png, .apng | 553 (57.3%) | 22,904,877 bytes (21.84 MB; 15.2%) |
| image/jpeg | .jpeg, .jpg, .jpe, .jps | 116 (12%) | 7,346,034 bytes (7.01 MB; 4.88%) |
| image/gif | .gif | 82 (8.5%) | 861,383 bytes (841 KB; 0.572%) |
Total file size for this section of 751 files (77.8%): 31,112,294 bytes (29.67 MB; 20.7%).
All files
Total file size for all 965 files: 150,517,266 bytes (143.54 MB).
