##// END OF EJS Templates
permissions: flush all user permissions in case of default user permission changes....
permissions: flush all user permissions in case of default user permission changes. - this is a special case that due to inheritance we need to flush ALL users permissions - before the default permission changes didn't flush the caches result in cached values beeing present until the cache expires

File last commit:

r3164:9a2c9ca9 default
r4187:0268c0ee stable
Show More
add.css
13 lines | 270 B | text/css | CssLexer
.menuselection, .guilabel {
font-size: .90em;
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
font-style: oblique;
}
.version {
display: none;
}
.pre {
color: #000
}