-
Jan C. Dageförde authored
The CSS class `editing` should only be added if the user is in editing mode AND she is allowed to edit the rendered page. `user_is_editing()` achieves exactly this, without changing behaviour for the appropriate pages.
496929a2