Merge pull request #44194 from etu/php-tidy

php: Add config flag for tidy
This commit is contained in:
Frederik Rietdijk 2018-07-29 17:18:35 +02:00 committed by GitHub
commit ab3eeb4c9c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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