diff options
Diffstat (limited to 'js/src/database/operations.js')
-rw-r--r-- | js/src/database/operations.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/src/database/operations.js b/js/src/database/operations.js index 0c323711f2..e13e8fd76f 100644 --- a/js/src/database/operations.js +++ b/js/src/database/operations.js @@ -1,3 +1,5 @@ +/* global Navigation */ + /** * @fileoverview function used in server privilege pages * @name Database Operations |