From 72e7d59a63f75c9135fa307ca4607fd6bd14f0b7 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Fri, 18 Jan 2013 12:36:57 -0500
Subject: [PATCH] Trying to get jslint ignore working properly.
---
themes/blueprint/js/preview.js | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/themes/blueprint/js/preview.js b/themes/blueprint/js/preview.js
index 371b45f559a..793d225bb4c 100644
--- a/themes/blueprint/js/preview.js
+++ b/themes/blueprint/js/preview.js
@@ -77,9 +77,9 @@ function setIndexOf() {
throw new TypeError();
}
var t = Object(this);
- /*jslint bitwise: true*/
- var len = t.length >>> 0;
/*jslint bitwise: false*/
+ var len = t.length >>> 0;
+ /*jslint bitwise: true*/
if (len === 0) {
return -1;
}
--
GitLab