v1.0.9 Patch Notes

v1.0.9 Patch Notes

I'd like to thank webmasters @marlena@kif.rocks and @minterpunct@gamemaking.social in their contributions to these bug fixes and improvements:

• library/page.php: 
  • help files were accidentally double-counted when retrieving them using the markdown plugin
  • date no longer uses DateTime class, so kiki is php 4.x compatible again.
  • date and time now calculated using the time: and date: fields on the page header, if present
• settings.php: 
  • added $static_generation_copy_theme option, which copies the theme to the static generation folder
  • add $default_page_publication_time which is important to use if you're generating RSS feeds and don't want to type in the time: in the ((header)) of each post.
• library/static.php: 
  • optionally copy the current theme to the generation output folder. Thanks to @marlena for this patch!
  • check for directories before trying to create them in static generation mode
• library/utils.php: 
  • add recursive_copy() which also copies non-empty dirs. Thanks to @marlena for this patch.
  • add create_timestamp() for page date and time generation
  • check for directories before trying to create them in static generation mode
• library/build.php: only add .htm/.html to non-folders. Thanks to @marlena for this patch.
• library/rss.php: 
  • now calculates the pubdate based on the page date and time, instead of the file modification time.
  • add guid for all rss items
  • correct broken permalinks for rss feed in static generation mode
• layout/error.bug: new general error template page
• layout/generate.bug: better formatting for output

Shareware version:

library/page.php: intelligently check for wiki functions before trying to use them, and return an error if they're not available.