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
Branch master (ddf75a)
by Oliver
02:54
created
WebApp/functions.php 1 patch
Doc Comments   +11 added lines patch added patch discarded remove patch
@@ -983,6 +983,9 @@  discard block
 block discarded – undo
983 983
         }
984 984
 
985 985
 
986
+    /**
987
+     * @param string $version
988
+     */
986 989
     public static function upgrade_version ($version)
987 990
         {
988 991
             $const_dbpath = costant::database_path();
@@ -1000,6 +1003,10 @@  discard block
 block discarded – undo
1000 1003
 ##########################
1001 1004
 class various
1002 1005
 {
1006
+    /**
1007
+     * @param string $AlertMessage
1008
+     * @param string $AlertRedirect
1009
+     */
1003 1010
     public static function send_alert_and_redirect ($AlertMessage, $AlertRedirect)
1004 1011
         {
1005 1012
             echo "<script src='res/app/functions-1.0.4.js' type='text/javascript'></script>";
@@ -1192,6 +1199,10 @@  discard block
 block discarded – undo
1192 1199
                 global $tr_default_type;
1193 1200
                 return $tr_default_type;
1194 1201
             }
1202
+
1203
+        /**
1204
+         * @return string
1205
+         */
1195 1206
         public static function attachments_folder ()
1196 1207
             {
1197 1208
                 global $attachments_folder;
Please login to merge, or discard this patch.