X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/blobdiff_plain/99292550fdf3c5bf9feb4a665e2de99f5cfc0d35..0aadc597d4093a60a123f6882ef9cffe1aa63798:/doc/todo/plugin.mdwn?ds=inline

diff --git a/doc/todo/plugin.mdwn b/doc/todo/plugin.mdwn
index 2280a97e2..8fed8ca87 100644
--- a/doc/todo/plugin.mdwn
+++ b/doc/todo/plugin.mdwn
@@ -7,7 +7,7 @@ A plugin system should ideally support things like:
 * [[pageindexes]]
 * Wiki stats, such as the total number of pages (done), total number of links, most linked to pages, etc, etc.
 * wiki info page, giving the ikiwiki version etc
-* would it be useful to reimplement the hyperestradier search integration as a plugin?
+* would it be useful to reimplement the hyperestradier search integration as a plugin? (done)
 * Support [[RecentChanges]] as a regular page containing a plugin that updates each time there is a change, and statically builds the recent changes list. (Would this be too expensive/inflexible? There might be other ways to do it as a plugin, like making all links to RecentChanges link to the cgi and have the cgi render it on demand.)
 * Support for smileys or other symbols. I appreciate the support for check
   marks, etc in other wikis.