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.

Code Duplication    Length = 8-8 lines in 2 locations

lib/JWX/JWT/Header/Header.php 1 location

@@ 94-101 (lines=8) @@
91
	 * @param string ...$names Parameter names
92
	 * @return bool
93
	 */
94
	public function has(...$names) {
95
		foreach ($names as $name) {
96
			if (!isset($this->_parameters[$name])) {
97
				return false;
98
			}
99
		}
100
		return true;
101
	}
102
	
103
	/**
104
	 * Get a parameter.

lib/JWX/JWK/JWK.php 1 location

@@ 119-126 (lines=8) @@
116
	 * @param string ...$names Parameter names
117
	 * @return bool
118
	 */
119
	public function has(...$names) {
120
		foreach ($names as $name) {
121
			if (!isset($this->_parameters[$name])) {
122
				return false;
123
			}
124
		}
125
		return true;
126
	}
127
	
128
	/**
129
	 * Get a parameter.