Skip navigation links

Package com.google.gerrit.server.extensions.webui

Skip navigation links