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.105%)233 bytes (233 bytes; 0.000162%)

Total file size for this section: 233 bytes (233 bytes; 0.000162%).

Office

MIME typePossible extensionsNumber of filesCombined size
application/pdf.pdf191 (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 typePossible extensionsNumber of filesCombined size
image/svg+xml.svg11 (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 typePossible extensionsNumber of filesCombined size
image/png.png, .apng553 (58%)22,904,877 bytes (21.84 MB; 15.9%)
image/jpeg.jpeg, .jpg, .jpe116 (12.2%)7,346,034 bytes (7.01 MB; 5.11%)
image/gif.gif82 (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).