add page entry for version 4.0

bipashabg · bipashabg · commit 550ec4d32d80 · 2025-08-02T15:28:46.000+05:30
diff --git a/doc/_static/page_history.js b/doc/_static/page_history.js
@@ -15,6 +15,7 @@ var titles = [
 
 
 var newpages = [
+    {v: '4.0', pages: ['pgr_sloanOrdering']},
     {v: '3.8', pages: ['pgr_contractionDeadEnd', 'pgr_contractionLinear', 'pgr_separateCrossing',
         'pgr_separateTouching']},
 
