34 global $IP, $wgUseTidy, $wgTidyBin, $wgTidyInternal, $wgTidyConfig,
35 $wgTidyConf, $wgTidyOpts;
37 $this->enabled =
true;
38 if ( $useConfiguration ) {
39 if ( $wgTidyConfig !==
null ) {
40 $this->config = $wgTidyConfig;
41 } elseif ( $wgUseTidy ) {
43 'tidyConfigFile' => $wgTidyConf,
44 'debugComment' =>
false,
45 'tidyBin' => $wgTidyBin,
46 'tidyCommandLine' => $wgTidyOpts
48 if ( $wgTidyInternal ) {
49 $this->config[
'driver'] =
wfIsHHVM() ?
'RaggettInternalHHVM' :
'RaggettInternalPHP';
51 $this->config[
'driver'] =
'RaggettExternal';
54 $this->enabled =
false;
58 'tidyConfigFile' =>
"$IP/includes/tidy/tidy.conf",
59 'tidyCommandLine' =>
'',
61 if ( extension_loaded(
'tidy' ) && (
wfIsHHVM() || class_exists(
'tidy' ) ) ) {
62 $this->config[
'driver'] =
wfIsHHVM() ?
'RaggettInternalHHVM' :
'RaggettInternalPHP';
64 if ( is_executable( $wgTidyBin ) ) {
65 $this->config[
'driver'] =
'RaggettExternal';
66 $this->config[
'tidyBin'] = $wgTidyBin;
69 if (
$path !==
false ) {
70 $this->config[
'driver'] =
'RaggettExternal';
71 $this->config[
'tidyBin'] = $wgTidyBin;
73 $this->enabled =
false;
78 if ( !$this->enabled ) {
79 $this->config = [
'driver' =>
'disabled' ];