| Index: third_party/WebKit/Source/build/scripts/make_names.py
|
| diff --git a/third_party/WebKit/Source/build/scripts/make_names.py b/third_party/WebKit/Source/build/scripts/make_names.py
|
| index 52eed3a3f3679057903a64ae21aa629ff8c33c6b..5bf6b60c7b79c4c347cb8d187a7b9bd416fd1a50 100755
|
| --- a/third_party/WebKit/Source/build/scripts/make_names.py
|
| +++ b/third_party/WebKit/Source/build/scripts/make_names.py
|
| @@ -62,6 +62,7 @@ class MakeNamesWriter(in_generator.Writer):
|
| 'script_name': name_utilities.script_name,
|
| 'symbol': _symbol,
|
| 'to_macro_style': name_utilities.to_macro_style,
|
| + 'max': max,
|
| }
|
|
|
| def __init__(self, in_file_path):
|
|
|