php: Add config flag for tidy

I think this was missed in ae9932e431
refactoring since this flag was added to master while the refactoring
was being reviewed.
This commit is contained in:
Elis Hirwing 2018-07-29 17:01:47 +02:00
parent 846d8f8305
commit ff1c76a58c
No known key found for this signature in database
GPG Key ID: D57EFA625C9A925F

View File

@ -51,7 +51,7 @@ let
, ztsSupport ? config.php.zts or false
, calendarSupport ? config.php.calendar or true
, sodiumSupport ? (config.php.sodium or true) && (versionAtLeast version "7.2")
, tidySupport ? false
, tidySupport ? (config.php.tidy or false)
}:
let