diff options
| -rw-r--r-- | doc/todo/Allow_change_of_wiki_file_types.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/Allow_change_of_wiki_file_types.mdwn b/doc/todo/Allow_change_of_wiki_file_types.mdwn index 818cf75a8..4b6f388f4 100644 --- a/doc/todo/Allow_change_of_wiki_file_types.mdwn +++ b/doc/todo/Allow_change_of_wiki_file_types.mdwn @@ -78,3 +78,5 @@ I was hoping that the [[plugins/rename]] plugin would allow web uses to change t } check_canrename($src, $srcfile, $dest, $destfile, + +-- [[users/Will]] |