====== AddExtensionFilter ======
Adds [[http://en.wikipedia.org/wiki/Filename_extension|extension]], files of which will be ignored while the documents loading.
===== Syntax =====
procedure AddExtensionFilter(aExtension: string);
==== Parameters ====
* **//aExtension//**
* //type:// string
* //functions:// filtered extension
===== Notes =====
* The following filters are used by default:
-.gif
-.jpeg
-.jpg
-.png
-.tiff
* Only downloaded from the primary domain files are filtered.
===== Examples =====
-//Forbid to download "jpeg" files
AddExtensionFilter('.jpeg');