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.102%)233 bytes (233 bytes; 0.000143%)

Total file size for this section of 1 file (0.102%): 233 bytes (233 bytes; 0.000143%).

Office

MIME typePossible extensionsNumber of filesCombined size
application/pdf.pdf221 (22.5%)130,989,044 bytes (124.92 MB; 80.7%)

Total file size for this section of 221 files (22.5%): 130,989,044 bytes (124.92 MB; 80.7%).

Drawings (vector images)

MIME typePossible extensionsNumber of filesCombined size
image/svg+xml.svg11 (1.12%)302,769 bytes (296 KB; 0.186%)

Total file size for this section of 11 files (1.12%): 302,769 bytes (296 KB; 0.186%).

Bitmap images

MIME typePossible extensionsNumber of filesCombined size
image/png.png, .apng553 (56.2%)22,904,877 bytes (21.84 MB; 14.1%)
image/jpeg.jpeg, .jpg, .jpe, .jps116 (11.8%)7,346,034 bytes (7.01 MB; 4.52%)
image/gif.gif82 (8.33%)861,383 bytes (841 KB; 0.53%)

Total file size for this section of 751 files (76.3%): 31,112,294 bytes (29.67 MB; 19.2%).

All files

Total file size for all 984 files: 162,404,340 bytes (154.88 MB).