The value $EnableWikiLinks is found in config.php, part of the 'Tavi distribution. Setting it to "0" is a bad idea.