web commit by bremner: fix wikilink with spaces (again?)

diff --git a/doc/todo/plugin.mdwn b/doc/todo/plugin.mdwn
index c09050f6c54bde854006723fcf4a1e135b11b185..8bfd6a6540df9b7d881eb01bb1961db47c41de86 100644 (file)
--- a/doc/todo/plugin.mdwn
+++ b/doc/todo/plugin.mdwn
@@ -54,5 +54,5 @@ There is work in progress at
 -- [[DavidBremner]]
 
 * Would it make sense to have a hook to set the page name?  This would solve a problem I see with 
 -- [[DavidBremner]]
 
 * Would it make sense to have a hook to set the page name?  This would solve a problem I see with 

-[[source code highlighting|plugins/contrib/sourcehighlight]]
+[[source_code_highlighting|plugins/contrib/sourcehighlight]]

 -- [[DavidBremner]]
 -- [[DavidBremner]]