Fix a bug in request

I have no idea how this was working before

Author: nrc

static/rustw.out.js

@@ -957,9 +957,8 @@ function highlight_spans(highlight, line_number_prefix, src_line_prefix, css_cla
 // Only supply the `app` argument if you want to show loading/error messages
 // in the main content panel.
 function request(urlStr, success, errStr, app) {
-    var self = this;
     $.ajax({
-        url: self.make_url(urlStr),
+        url: make_url(urlStr),
         type: 'POST',
         dataType: 'JSON',
         cache: false

static/rustw.out.js.map

@@ -68,9 +68,8 @@ export function highlight_spans(highlight, line_number_prefix, src_line_prefix,
 // Only supply the `app` argument if you want to show loading/error messages
 // in the main content panel.
 export function request(urlStr, success, errStr, app) {
-    const self = this;
     $.ajax({
-        url: self.make_url(urlStr),
+        url: make_url(urlStr),
         type: 'POST',
         dataType: 'JSON',
         cache: false