Fix bitrot in the --disable-webkit option
Authored by: Jean-Francois Dockes 2017-09-07
Parent(s): [6f2dfa]
Child(ren): [ff4330]