]> WPIA git - gigi.git/blob - output/PageMenuItem.java
Merge "upd: remove 'browser install'"
[gigi.git] / output / PageMenuItem.java
1 package org.cacert.gigi.output;
2
3 import org.cacert.gigi.dbObjects.User;
4 import org.cacert.gigi.pages.Page;
5 import org.cacert.gigi.util.ServerConstants;
6
7 public class PageMenuItem extends SimpleMenuItem {
8
9     private Page p;
10
11     public PageMenuItem(Page p, String path) {
12         super("https://" + ServerConstants.getWwwHostNamePortSecure() + path, p.getTitle());
13         this.p = p;
14     }
15
16     @Override
17     public boolean isPermitted(User u) {
18         return p.isPermitted(u);
19     }
20 }