diff --git a/js/server/version-check.js b/js/server/version-check.js
index 3dbf84fd42..3e9bd318d8 100755
--- a/js/server/version-check.js
+++ b/js/server/version-check.js
@@ -1,4 +1,4 @@
-/*jslint indent: 2, nomen: true, maxlen: 100, sloppy: true, vars: true, white: true, plusplus: true, stupid: true, continue: true, regexp: true */
+/*jslint indent: 2, nomen: true, maxlen: 100, sloppy: true, vars: true, white: true, plusplus: true, stupid: true, continue: true, regexp: true nonpropdel: true*/
 /*global require, exports, module, UPGRADE_ARGS, UPGRADE_STARTED: true */
 
 ////////////////////////////////////////////////////////////////////////////////