Function push_back

Source/external/json.hpp:13864–13867

@brief append an unescaped token at the end of the reference pointer @sa https://json.nlohmann.me/api/json_pointer/push_back/

	/// @brief append an unescaped token at the end of the reference pointer
	/// @sa https://json.nlohmann.me/api/json_pointer/push_back/
	void push_back(const string_t& token)
	{
		reference_tokens.push_back(token);
	}

	/// @brief append an unescaped token at the end of the reference pointer
	/// @sa https://json.nlohmann.me/api/json_pointer/push_back/