Migrate post edit to GVE

src/MyWebLog/Handlers/Helpers.fs

@@ -178,10 +178,6 @@ let addToHash key (value: obj) (hash: Hash) =
     if hash.ContainsKey key then hash[key] <- value else hash.Add(key, value)
     hash
 
-/// Add anti-CSRF tokens to the given hash
-let withAntiCsrf (ctx: HttpContext) =
-    addToHash ViewContext.AntiCsrfTokens ctx.CsrfTokenSet 
-
 open System.Security.Claims
 open Giraffe
 open Giraffe.Htmx
@@ -362,10 +358,6 @@ let themedView template next ctx hash = task {
 /// The ID for the admin theme
 let adminTheme = ThemeId "admin"
 
-/// Display a view for the admin theme
-let adminView template =
-    viewForTheme adminTheme template
-
 /// Display a bare view for the admin theme
 let adminBareView template =
     bareForTheme adminTheme template

src/MyWebLog/Handlers/Post.fs

@@ -272,21 +272,12 @@ let edit postId : HttpHandler = requireAccess Author >=> fun next ctx -> task {
     | Some (title, post) when canEdit post.AuthorId ctx ->
         let! templates = templatesForTheme ctx "post"
         let  model     = EditPostModel.FromPost ctx.WebLog post
-        return!
-            hashForPage title
-            |> withAntiCsrf ctx
-            |> addToHash ViewContext.Model model
-            |> addToHash "metadata" (
-                Array.zip model.MetaNames model.MetaValues
-                |> Array.mapi (fun idx (name, value) -> [| string idx; name; value |]))
-            |> addToHash "templates" templates
-            |> addToHash "explicit_values" [|
-                KeyValuePair.Create("", "– Default –")
-                KeyValuePair.Create(string Yes,   "Yes")
-                KeyValuePair.Create(string No,    "No")
-                KeyValuePair.Create(string Clean, "Clean")
-            |]
-            |> adminView "post-edit" next ctx
+        let  ratings   = [
+            { Name = string Yes;   Value = "Yes" }
+            { Name = string No;    Value = "No" }
+            { Name = string Clean; Value = "Clean" }
+        ]
+        return! adminPage title true next ctx (Views.Post.postEdit model templates ratings)
     | Some _ -> return! Error.notAuthorized next ctx
     | None -> return! Error.notFound next ctx
 }