GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Push — master ( 679e49...411997 )
by Jesus
10s
created
lib.php 2 patches
Indentation   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -61,7 +61,7 @@  discard block
 block discarded – undo
61 61
                 'sesskey' => sesskey(),
62 62
                 'type' => 'audiortc',
63 63
                 'timelimit' => $this->get_config('timelimit'), '120'
64
-              );
64
+                );
65 65
             $this->add_button_after($params, 0, 'audiortc');
66 66
         }
67 67
 
@@ -73,7 +73,7 @@  discard block
 block discarded – undo
73 73
                 'sesskey' => sesskey(),
74 74
                 'type' => 'videortc',
75 75
                 'timelimit' => $this->get_config('timelimit'), '120'
76
-              );
76
+                );
77 77
             $this->add_button_after($params, 0, 'videortc');
78 78
         }
79 79
     }
Please login to merge, or discard this patch.
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -31,7 +31,7 @@  discard block
 block discarded – undo
31 31
 
32 32
 class tinymce_recordrtc extends editor_tinymce_plugin {
33 33
     /** @var array list of buttons defined by this plugin */
34
-    protected $buttons = array('recordrtc','audiortc','videortc');
34
+    protected $buttons = array('recordrtc', 'audiortc', 'videortc');
35 35
 
36 36
     /**
37 37
      * Adjusts TinyMCE init parameters for tinymce_recordrtc
@@ -54,7 +54,7 @@  discard block
 block discarded – undo
54 54
 
55 55
         // Add audio button at the end of the first row.
56 56
         $allowedtypes = $this->get_config('allowedtypes', 'both');
57
-        if ( $allowedtypes == 'both' || $allowedtypes == 'audio') {
57
+        if ($allowedtypes == 'both' || $allowedtypes == 'audio') {
58 58
             // Add parameters for audiortc.
59 59
             $params['audiortc'] = array(
60 60
                 'contextid' => $options['context']->id,
@@ -66,7 +66,7 @@  discard block
 block discarded – undo
66 66
         }
67 67
 
68 68
         // Add video button at the end of the first row.
69
-        if ( $allowedtypes == 'both' || $allowedtypes == 'video') {
69
+        if ($allowedtypes == 'both' || $allowedtypes == 'video') {
70 70
             // Add parameters for audiortc.
71 71
             $params['videortc'] = array(
72 72
                 'contextid' => $options['context']->id,
Please login to merge, or discard this patch.