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

@@ 94-101 (lines=8) @@
91
	 * @param string ...$names Parameter names
92
	 * @return boolean
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.