labels.facet_filetype_ogg=Аудио OGG
labels.facet_filetype_wav=Аудио WAV
labels.facet_filetype_webp=Аудио WebP
labels.facet_filetype_aif=Аудио AIF
labels.facet_filetype_midi=Аудио MIDI
labels.facet_filetype_mpga=Аудио MPGA
labels.facet_filetype_mp4a=Аудио MP4A
labels.facet_filetype_oga=Аудио OGA
labels.facet_filetype_wepb=Изображение WEBP
labels.facet_filetype_bmp=Изображение BMP
labels.facet_filetype_ico=Изображение ICO

labels.crawling_info_CrawlerExecTime=爬虫执行时间
labels.crawling_info_CrawlerStatus=爬虫状态
labels.crawling_info_WebFsCrawlExecTime=爬网执行时间 (Web/文件)
labels.crawling_info_WebFsCrawlStartTime=爬网开始时间 (Web/文件)
labels.crawling_info_WebFsCrawlEndTime=爬网结束时间 (Web/文件)
labels.crawling_info_WebFsIndexExecTime=索引执行时间 (Web/文件)
labels.crawling_info_WebFsIndexSize=索引大小 (Web/文件)
labels.crawling_info_DataCrawlExecTime=爬网执行时间 (数据存储)
labels.crawling_info_DataCrawlStartTime=爬网开始时间 (数据存储)

labels.crawling_info_WebFsCrawlExecTime=Temps d'exécution de l'exploration (Web/Fichier)
labels.crawling_info_WebFsCrawlStartTime=Heure de début de l'exploration (Web/Fichier)
labels.crawling_info_WebFsCrawlEndTime=Heure de fin de l'exploration (Web/Fichier)
labels.crawling_info_WebFsIndexExecTime=Temps d'exécution de l'indexation (Web/Fichier)
labels.crawling_info_WebFsIndexSize=Taille de l'index (Web/Fichier)

labels.crawling_info_CrawlerStatus=Crawlerstatus
labels.crawling_info_WebFsCrawlExecTime=Crawltijd (Web/Bestand)
labels.crawling_info_WebFsCrawlStartTime=Starttijd crawl (Web/Bestand)
labels.crawling_info_WebFsCrawlEndTime=Eindtijd crawl (Web/Bestand)
labels.crawling_info_WebFsIndexExecTime=Indexeringstijd (Web/Bestand)
labels.crawling_info_WebFsIndexSize=Indexgrootte (Web/Bestand)
labels.crawling_info_DataCrawlExecTime=Crawltijd (Gegevensopslag)

labels.crawling_info_WebFsCrawlExecTime=Tempo de execução do rastreamento (Web/Arquivo)
labels.crawling_info_WebFsCrawlStartTime=Hora de início do rastreamento (Web/Arquivo)
labels.crawling_info_WebFsCrawlEndTime=Hora de término do rastreamento (Web/Arquivo)
labels.crawling_info_WebFsIndexExecTime=Tempo de execução da indexação (Web/Arquivo)
labels.crawling_info_WebFsIndexSize=Tamanho do índice (Web/Arquivo)

labels.facet_filetype_ogg=OGGオーディオ
labels.facet_filetype_wav=WAVオーディオ
labels.facet_filetype_webp=WebPオーディオ
labels.facet_filetype_aif=AIFオーディオ
labels.facet_filetype_midi=MIDIオーディオ
labels.facet_filetype_mpga=MPGAオーディオ
labels.facet_filetype_mp4a=MP4Aオーディオ
labels.facet_filetype_oga=OGAオーディオ
labels.facet_filetype_wepb=WEBPイメージ
labels.facet_filetype_bmp=BMPイメージ
labels.facet_filetype_ico=ICOイメージ
labels.facet_filetype_png=PNGイメージ

video/mp4=mp4\n\
video/ogv=ogv\n\
video/quicktime=qt\n\
video/x-m4v=m4v\n\
audio/x-aif=aif\n\
audio/midi=midi\n\
audio/mpga=mpga\n\
audio/mp4=mp4a\n\
audio/ogg=oga\n\
audio/x-wav=wav\n\
image/webp=webp\n\
image/bmp=bmp\n\
image/x-icon=ico\n\
image/x-icon=ico\n\
image/png=png\n\
image/svg+xml=svg\n\
image/tiff=tiff\n\
image/jpeg=jpg\n\

# Number of documents to process per reindex operation.

     * video/x-m4v=m4v<br>
     * audio/x-aif=aif<br>
     * audio/midi=midi<br>
     * audio/mpga=mpga<br>
     * audio/mp4=mp4a<br>
     * audio/ogg=oga<br>
     * audio/x-wav=wav<br>
     * image/webp=webp<br>
     * image/bmp=bmp<br>
     * image/x-icon=ico<br>
     * image/x-icon=ico<br>
     * image/png=png<br>
     * image/svg+xml=svg<br>
     * image/tiff=tiff<br>
     * image/jpeg=jpg<br>
     *  */

    /** The key of the message: Crawl End Time (Web/File) */
    public static final String LABELS_crawling_info_WebFsCrawlEndTime = "{labels.crawling_info_WebFsCrawlEndTime}";

    /** The key of the message: Indexing Execution Time (Web/File) */
    public static final String LABELS_crawling_info_WebFsIndexExecTime = "{labels.crawling_info_WebFsIndexExecTime}";

    /** The key of the message: Index Size (Web/File) */

o.default.fn.modal=ut,Ct._jQueryInterface};var St=["background","cite","href","itemtype","longdesc","poster","src","xlink:href"],Nt=/^(?:(?:https?|mailto|ftp|tel|file|sms):|[^#&/:?]*(?:[#/?]|$))/i,Dt=/^data:(?:image\/(?:bmp|gif|jpeg|jpg|png|tiff|webp)|video\/(?:mpeg|mp4|ogg|webm)|audio\/(?:mp3|oga|ogg|opus));base64,[\d+/a-z]+=*$/i;function At(t,e,n){if(0===t.length)return t;if(n&&"function"==typeof n)return n(t);for(var i=(new window.DOMParser).parseFromString(t,"text/html"),o=Object.keys(e),a=[].slice.call(...