[pmwiki-users] How to change LastModified format

[Ryan R. Varick]

I want to get rid of the comma between the date and the time.  I
changed $TimeFmt in config.php and now the (All)RecentChanges list
works as expected (using $CurrentTime); however, $LastModified does
not seem to respect the new time format.  I see that $LastModified, as
defined in pmwiki.php uses $TimeFmt to format the time, so any ideas
why it wouldn't be working?

For reference, config.php:
$TimeFmt = "%B %d, %Y at %I:%M %p";
$RecentChangesFmt['$SiteGroup.AllRecentChanges'] = '* [[$Group.$Name |
$Titlespaced]]  -  $CurrentTime  ';
$RecentChangesFmt['$Group.RecentChanges'] = '* [[$Group.$Name |
$Titlespaced]]  -  $CurrentTime  ';

Included footer page is using {$LastModified}.

Thanks,

Ryan