jhodges/GiteaBot
1
0
Fork 0
Code Issues Pull Requests Releases 2 Wiki Activity

change includes to requires

Browse Source
This commit is contained in:
James 2019-06-26 10:07:28 +01:00
parent 3979cc114d
commit 6dc0e65802
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
no_label_milestone.php
View File

@ -4,11 +4,11 @@
//2a. Adds a no-label label to any issues with no labels (excluding the no-label and no-milestone) //2a. Adds a no-label label to any issues with no labels (excluding the no-label and no-milestone)
//2b. Also removes the label if present on an issue with a label (excluding the no-label and no-milestone) //2b. Also removes the label if present on an issue with a label (excluding the no-label and no-milestone)
include("src/Client.php"); require("src/Client.php");
include("src/Issue.php"); require("src/Issue.php");
include("src/Label.php"); require("src/Label.php");
include("src/Repo.php"); require("src/Repo.php");
$config=include("config.php"); $config=require("config.php");
//pass cmd line args //pass cmd line args
if($argc<3){ if($argc<3){