Topic on Manual talk:$wgTidyConfig

The syntax for $wgTidyConfig is too vague. Can this article please show an example of how it is done? I am using $wgUseTidy as a temporary measure, and since it is being deprecated I am eager to move to $wgTidyConfig as soon as possible. Thanks. --Marianian (talk) 05:09, 7 August 2016 (UTC)

$wgTidyConfig['driver'] = 'RaggettExternal';

$wgTidyConfig['tidyConfigFile'] = 'tidyConfig.conf';

$wgTidyConfig['tidyBin'] = '/usr/bin/';