| commit | d5f3042cbdb9ccab8224cb9176526277f0695f2f | [log] [tgz] |
|---|---|---|
| author | amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Wed Feb 25 22:45:55 2009 +0000 |
| committer | amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Wed Feb 25 22:45:55 2009 +0000 |
| tree | 8233ae7df59038f274812ed4911d7f90ac9daf2b | |
| parent | 06e80c2674bfe487815c9e1d3d75ec1fda24d6a6 [diff] |
This patch adds identifiers that cause loading of the java plugin in the browser to the blacklist of identifiers that must not be used in the generated javascript Patch by: amitmanjhi Review by: jgw (desk review) git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4873 8db76d5a-ed1c-0410-87a9-c151d255dfc7