1 package org.cacert.gigi.output;
3 import org.cacert.gigi.Gigi;
4 import org.cacert.gigi.User;
5 import org.cacert.gigi.pages.Page;
6 import org.cacert.gigi.util.ServerConstants;
9 public class PageMenuItem extends SimpleMenuItem {
13 public PageMenuItem(Page p) {
14 super("https://" + ServerConstants.getWwwHostNamePort() + Gigi.getPathByPage(p), p.getTitle());
19 public boolean isPermitted(User u) {
20 return p.isPermitted(u);