2022-10-03 19:11:24 +02:00
After deleting a page with the "remove" button, it seems that the page deletion cannot be reverted using the "revert" icon in [[RecentChanges]].
2011-06-15 15:23:25 +02:00
It ironically says that "Error: ?$pagename does not exist". See [[http://ikiwiki.info/ikiwiki.cgi?rev=860c2c84d98ea0a38a4f91dacef6d4e09f6e6c2e&do=revert]]. [[JeanPrivat]]
2011-09-05 20:51:49 +02:00
> And it only gets that far if the remove plugin is enabled. Otherwise it
> complains that you cannot change $pagename.
>
> The root bug is that git's `rcs_preprevert` creates a structure that
> shows the change that was made (which includes a file deletion),
> not the change that would be made if it was reverted (which includes a
> file addition). [[Fixed|done]]. --[[Joey]]