From cc1043eb8298e1e5e947c7b2cc4be9fd2225557e Mon Sep 17 00:00:00 2001
From: Roman Mogylatov <rmogilatov@gmail.com>
Date: Tue, 16 Jun 2020 21:38:54 -0400
Subject: [PATCH] Fix disqus.js

---
 docs/_static/disqus.js | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/docs/_static/disqus.js b/docs/_static/disqus.js
index 881ab6de..bbdb4505 100644
--- a/docs/_static/disqus.js
+++ b/docs/_static/disqus.js
@@ -1,10 +1,8 @@
-var disqus_shortname;
-var disqus_identifier;
-(function() {{
+$(function() {
     var disqus_thread = $("#disqus_thread");
-    disqus_shortname = disqus_thread.data('disqus-shortname');
-    disqus_identifier = disqus_thread.data('disqus-identifier');
+    var disqus_shortname = disqus_thread.data('disqus-shortname');
+    var disqus_identifier = disqus_thread.data('disqus-identifier');
     var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
     dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
     (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
-}})();
+});