Add page edit

- Add nav link and user log-on link filter/tag
- Add page list support
- Add prior permalink index/search
- Remove v2 C# projects
This commit is contained in:
2022-04-18 18:06:17 -04:00
parent 8ce2d5a2ed
commit 48e6d3edfa
85 changed files with 593 additions and 4878 deletions

View File

@@ -2,7 +2,7 @@
open System
/// A category under which a post may be identfied
/// A category under which a post may be identified
[<CLIMutable; NoComparison; NoEquality>]
type Category =
{ /// The ID of the category
@@ -120,7 +120,7 @@ type Page =
text : string
/// Permalinks at which this page may have been previously served (useful for migrated content)
priorPermalinks : string list
priorPermalinks : Permalink list
/// Revisions of this page
revisions : Revision list