Function push_back

extern/json/json.hpp:13902–13905

@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/