=')) {
$test_files[] = 'ConfigDoc/DOM/DocumentTest.php';
}
// FSTools auxiliary library
$test_files[] = 'FSTools/FileTest.php';
} // end if ($AC['only-phpt'])
// PHPT tests
if (!$AC['disable-phpt']) {
$phpt_dirs = array();
$phpt_dirs[] = 'HTMLPurifier/PHPT';
}