| Index: third_party/WebKit/public/public_features.gni
|
| diff --git a/third_party/WebKit/public/public_features.gni b/third_party/WebKit/public/public_features.gni
|
| index 6d2e3731ed1d73aee7e293cc44f207eedbbf0869..2eb71d3437aed68710544ef86bf7f3c38d7b6bb9 100644
|
| --- a/third_party/WebKit/public/public_features.gni
|
| +++ b/third_party/WebKit/public/public_features.gni
|
| @@ -9,3 +9,6 @@ declare_args() {
|
| # --debug-devtools cmdline switch.
|
| debug_devtools = false
|
| }
|
| +
|
| +# Use Minikin hyphenation engine.
|
| +use_minikin_hyphenation = is_android
|
|
|