d5c844f43e
Add an extension screen which contains a hook that can be used by GWT and JS plugins to integrate complete screens into the Gerrit UI. Change-Id: I48a92ea49c4384db034177b04b2e7f0bea6a87b2
13 lines
211 B
Plaintext
13 lines
211 B
Plaintext
GWT_COMPILER_OPTS = [
|
|
'-strict',
|
|
'-style', 'OBF',
|
|
'-optimize', '9',
|
|
'-XdisableClassMetadata',
|
|
'-XdisableCastChecking',
|
|
]
|
|
|
|
GWT_PLUGIN_DEPS = [
|
|
'//gerrit-plugin-gwtui:gwtui-api',
|
|
'//lib/gwt:user',
|
|
]
|