From 3cc18498c5d05e80ce790d5cbfe9573b68a5cab0 Mon Sep 17 00:00:00 2001
From: linonetwo <linonetwo012@gmail.com>
Date: Wed, 30 Oct 2024 14:51:20 +0800
Subject: [PATCH] Update wiki.js

---
 core/modules/wiki.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/core/modules/wiki.js b/core/modules/wiki.js
index cf3d20a14..f21cc29f3 100755
--- a/core/modules/wiki.js
+++ b/core/modules/wiki.js
@@ -18,9 +18,9 @@ Adds the following properties to the wiki object:
 \*/
 (function(){
 
-	/*jslint node: true, browser: true */
-	/*global $tw: false */
-	"use strict";
+/*jslint node: true, browser: true */
+/*global $tw: false */
+"use strict";
 
 var Widget = require("$:/core/modules/widgets/widget.js").widget;
 
@@ -1800,4 +1800,4 @@ exports.slugify = function(title,options) {
 	return slug;
 };
 
-})();
\ No newline at end of file
+})();