opendev/gerrit
Code Issues Proposed changes

Merge "Merge doc and change searches."

Browse Source
This commit is contained in:
Dave Borowitz
2015-11-25 17:55:31 +00:00
committed by Gerrit Code Review
parent 821754e71a ed1596b9df
commit 9a90351e8d
10 changed files with 73 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
gerrit-gwtui-common/src/main/java/com/google/gerrit/client/info/GerritInfo.java
View File

@@ -36,6 +36,7 @@ public class GerritInfo extends JavaScriptObject {
public final native String allProjects() /*-{ return this.all_projects; }-*/;
public final native String allUsers() /*-{ return this.all_users; }-*/;
public final native boolean docSearch() /*-{ return this.doc_search; }-*/;
public final native String docUrl() /*-{ return this.doc_url; }-*/;
public final native boolean editGpgKeys() /*-{ return this.edit_gpg_keys || false; }-*/;
public final native String reportBugUrl() /*-{ return this.report_bug_url; }-*/;