Searched refs:developer (Results 1 – 4 of 4) sorted by relevance
| /web-bugs/src/Utils/ |
| H A D | PatchTracker.php | 109 private function newPatchFileName(int $bugId, string $patch, string $developer): int argument
118 $this->dbh->prepare($sql)->execute([$bugId, $patch, $revision, $developer]);
123 $this->dbh->prepare($sql)->execute([$bugId, $patch, $revision, $developer]);
151 …public function attach(int $bugId, string $patch, string $name, string $developer, array $obsolete… argument
160 $revision = $this->newPatchFileName($bugId, $name, $developer);
|
| H A D | GitHub.php | 73 (bugdb_id, github_repo, github_pull_id, github_title, github_html_url, developer)
|
| /web-bugs/sql/ |
| H A D | schema.sql | 59 developer varchar(40) NOT NULL, field
113 developer varchar(40) NOT NULL, field
|
| /web-bugs/include/ |
| H A D | functions.php | 158 $logged_in = 'developer';
165 $logged_in = 'developer';
178 if ($logged_in == 'developer') {
|
Completed in 12 milliseconds
