diff --git a/texttests/config.gr b/texttests/config.gr index 877deb22..6e5f9ee2 100755 --- a/texttests/config.gr +++ b/texttests/config.gr @@ -35,4 +35,8 @@ diff_program:meld #executable:${TEXTTEST_HOME}/julia/texttest_fixture.jl #interpreter:julia +# Settings for the PHP version +#executable:${TEXTTEST_HOME}/php/fixtures/texttest_fixture.php +#interpreter:php + filename_convention_scheme:standard