Fix plugin preferences after rename.

Patch by: jat
Review by: jlabanca (TBR)


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

plugins/xpcom/prebuilt/extension/content/options.xul

diff --git a/plugins/xpcom/prebuilt/extension/content/options.xul b/plugins/xpcom/prebuilt/extension/content/options.xul
index aebefbc..d7e45c5 100644
--- a/plugins/xpcom/prebuilt/extension/content/options.xul
+++ b/plugins/xpcom/prebuilt/extension/content/options.xul
@@ -39,7 +39,7 @@
       <radio id="include" label="Include" selected="true"/>
       <radio id="exclude" label="Exclude"/>
     </radiogroup>
-    <button id="addButton" label="Add Entry" oncommand="GwtDevelopmentModePlugin.addEntry()"/>
+    <button id="addButton" label="Add Entry" oncommand="GwtDeveloperPlugin.addEntry()"/>
   </hbox>
 
   <listbox id="accessListListbox" rows="5">