Extension:FileIndexer/Code.FileIndexer cfg.php

From mediawiki.org