diff options
Diffstat (limited to 'js/src/server/privileges.js')
| -rw-r--r-- | js/src/server/privileges.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/src/server/privileges.js b/js/src/server/privileges.js index 0c8f6d03f9..4522ef4065 100644 --- a/js/src/server/privileges.js +++ b/js/src/server/privileges.js @@ -1,3 +1,5 @@ +/* global Navigation */ + /** * Export privileges modal handler * |