@@ -227,7 +227,7 @@ plainExtensions = extensionsFromList
227 , Ext_strikeout
227 , Ext_strikeout
230−-- | Extensions to be used with github-flavored markdown.
230+-- | Extensions to be used with PHP Markdown Extra.
231phpMarkdownExtraExtensions :: Extensions
231phpMarkdownExtraExtensions :: Extensions
232phpMarkdownExtraExtensions = extensionsFromList
232phpMarkdownExtraExtensions = extensionsFromList
233 [ Ext_footnotes
233 [ Ext_footnotes