From 50d056a6766637cb7b7275a83e1601f5ad00a030 Mon Sep 17 00:00:00 2001
From: lowercasedonkey <lowercasedonkey@gmail.com>
Date: Mon, 11 May 2020 21:24:02 -0400
Subject: [PATCH] random to jsRandom

---
 devTools/Script to convert SC to JS/SC to JS 1.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/devTools/Script to convert SC to JS/SC to JS 1.py b/devTools/Script to convert SC to JS/SC to JS 1.py
index 4824706f6cf..2e383b6fce6 100644
--- a/devTools/Script to convert SC to JS/SC to JS 1.py	
+++ b/devTools/Script to convert SC to JS/SC to JS 1.py	
@@ -102,3 +102,6 @@ editor.rereplace(r"(	r.push.*?[^{])(slave\.[^ ,']*)", r"\1${\2}")
 #remove incompatible comment style
 editor.rereplace(r"/%", r"/*")
 editor.rereplace(r"%/", r"*/")
+
+# replace random() with jsRandom()
+editor.rereplace(r"random\(", r"jsRandom\(")
\ No newline at end of file
-- 
GitLab