Upgrade devmode plugin for Firefox 15. (Release candidate.)

Review by: acleung@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@11253 8db76d5a-ed1c-0410-87a9-c151d255dfc7
3 files changed