Rename JSON pointer operator_string to operator_string_t

docs/mkdocs/docs/api/json_pointer/index.md

@@ -28,7 +28,7 @@ are the base for JSON patches.
 
 - [(constructor)](json_pointer.md)
 - [**to_string**](to_string.md) - return a string representation of the JSON pointer
-- [**operator string_t**](operator_string.md) - return a string representation of the JSON pointer
+- [**operator string_t**](operator_string_t.md) - return a string representation of the JSON pointer
 - [**operator/=**](operator_slasheq.md) - append to the end of the JSON pointer
 - [**operator/**](operator_slash.md) - create JSON Pointer by appending
 - [**parent_pointer**](parent_pointer.md) - returns the parent of this JSON pointer

docs/mkdocs/docs/api/json_pointer/operator_string_t.md

@@ -33,13 +33,13 @@ operator string_t() const
     The example shows how JSON Pointers can be implicitly converted to strings.
      
     ```cpp
-    --8<-- "examples/json_pointer__operator_string.cpp"
+    --8<-- "examples/json_pointer__operator_string_t.cpp"
     ```
     
     Output:
     
     ```json
-    --8<-- "examples/json_pointer__operator_string.output"
+    --8<-- "examples/json_pointer__operator_string_t.output"
     ```
 
 ## Version history

docs/mkdocs/mkdocs.yml

@@ -210,7 +210,7 @@ nav:
         - '(Constructor)': api/json_pointer/json_pointer.md
         - 'back': api/json_pointer/back.md
         - 'empty': api/json_pointer/empty.md
-        - 'operator string_t': api/json_pointer/operator_string.md
+        - 'operator string_t': api/json_pointer/operator_string_t.md
         - 'operator/': api/json_pointer/operator_slash.md
         - 'operator/=': api/json_pointer/operator_slasheq.md
         - 'parent_pointer': api/json_pointer/parent_pointer.md
@@ -329,6 +329,7 @@ plugins:
         redirect_maps:
             'api/basic_json/operator_gtgt.md': api/operator_gtgt.md
             'api/basic_json/operator_ltlt.md': api/operator_ltlt.md
+            'api/json_pointer/operator_string.md': api/json_pointer/operator_string_t.md
 
 extra_css:
     - css/custom.css