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.103%) | 233 bytes (233 bytes; 0.000152%) |
Total file size for this section of 1 file (0.103%): 233 bytes (233 bytes; 0.000152%).
Office
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| application/pdf | 211 (21.7%) | 121,925,148 bytes (116.28 MB; 79.5%) |
Total file size for this section of 211 files (21.7%): 121,925,148 bytes (116.28 MB; 79.5%).
Drawings (vector images)
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| image/svg+xml | .svg | 11 (1.13%) | 302,769 bytes (296 KB; 0.197%) |
Total file size for this section of 11 files (1.13%): 302,769 bytes (296 KB; 0.197%).
Bitmap images
| MIME type | Possible extensions | Number of files | Combined size |
|---|---|---|---|
| image/png | .png, .apng | 553 (56.8%) | 22,904,877 bytes (21.84 MB; 14.9%) |
| image/jpeg | .jpeg, .jpg, .jpe, .jps | 116 (11.9%) | 7,346,034 bytes (7.01 MB; 4.79%) |
| image/gif | .gif | 82 (8.42%) | 861,383 bytes (841 KB; 0.562%) |
Total file size for this section of 751 files (77.1%): 31,112,294 bytes (29.67 MB; 20.3%).
All files
Total file size for all 974 files: 153,340,444 bytes (146.24 MB).
