# Download manager extension list

# File extensions to be handled
