fix filename

diff --git a/doc/plugins/discussion.mdwn b/doc/plugins/discussion.mdwn
index 49b76c66249959fab2a59dadaf5d52d295e21fce..d47fa471897f906bf9c1133b0602d7d2867c5c7b 100644 (file)
--- a/doc/plugins/discussion.mdwn
+++ b/doc/plugins/discussion.mdwn
@@ -38,3 +38,5 @@ Any objections to listing plugins alphabetically rather than by creation date?
 ### `themes.pm` instead of `themes.mdwn`
 
 Could someone please change the filename. I cannot fix this using the Web interface. Somebody step in please. --[[PaulePanter]]
+
+> Oops, not the first time I've made that mistake! --[[Joey]] 

diff --git a/doc/plugins/theme.pm b/doc/plugins/theme.mdwn
similarity index 100%
rename from doc/plugins/theme.pm
rename to doc/plugins/theme.mdwn