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).
