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 = 7-10 lines in 2 locations

lib/JWX/JWT/Claims.php 1 location

@@ 105-111 (lines=7) @@
102
	 *
103
	 * @return string
104
	 */
105
	public function toJSON() {
106
		$data = array();
107
		foreach ($this->_claims as $claim) {
108
			$data[$claim->name()] = $claim->value();
109
		}
110
		return json_encode((object) $data, JSON_UNESCAPED_SLASHES);
111
	}
112
	
113
	/**
114
	 * Check whether a claims set is valid in the given context.

lib/JWX/JWT/Header.php 1 location

@@ 141-150 (lines=10) @@
138
	 *
139
	 * @return string
140
	 */
141
	public function toJSON() {
142
		if (empty($this->_parameters)) {
143
			return "";
144
		}
145
		$data = array();
146
		foreach ($this->_parameters as $param) {
147
			$data[$param->name()] = $param->value();
148
		}
149
		return json_encode((object) $data, JSON_UNESCAPED_SLASHES);
150
	}
151
	
152
	/**
153
	 * Get the number of parameters.