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 — develop ( b7be11...64c0c8 )
by Luis Ramón
04:50
created
routes/upload.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -622,6 +622,9 @@  discard block
 block discarded – undo
622 622
         find_one();
623 623
 }
624 624
 
625
+/**
626
+ * @param integer $permission
627
+ */
625 628
 function getPermissionProfiles($folderId, $permission) {
626 629
     return ORM::for_table('profile')->
627 630
             select('profile.*')->
@@ -1003,6 +1006,9 @@  discard block
 block discarded – undo
1003 1006
     return ORM::get_db()->commit();
1004 1007
 }
1005 1008
 
1009
+/**
1010
+ * @param integer $revisionNr
1011
+ */
1006 1012
 function createRevision($deliveryId, $userId, $fileName, $dataPath, $dataHash, $filesize, $revisionNr, $uploadComment = null) {
1007 1013
 
1008 1014
     $revision = ORM::for_table('revision')->create();
Please login to merge, or discard this patch.