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 typePossible extensionsNumber of filesCombined size
text/html.html, .htm1 (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 typePossible extensionsNumber of filesCombined size
application/pdf.pdf211 (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 typePossible extensionsNumber of filesCombined size
image/svg+xml.svg11 (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 typePossible extensionsNumber of filesCombined size
image/png.png, .apng553 (56.8%)22,904,877 bytes (21.84 MB; 14.9%)
image/jpeg.jpeg, .jpg, .jpe, .jps116 (11.9%)7,346,034 bytes (7.01 MB; 4.79%)
image/gif.gif82 (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).