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/JWK/JWK.php 1 location

@@ 107-114 (lines=8) @@
104
	 * @param string ...$names Parameter names
105
	 * @return boolean
106
	 */
107
	public function has(...$names) {
108
		foreach ($names as $name) {
109
			if (!isset($this->_parameters[$name])) {
110
				return false;
111
			}
112
		}
113
		return true;
114
	}
115
	
116
	/**
117
	 * Get a parameter.

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

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