aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc
diff options
context:
space:
mode:
authorMauro Bieg <mb21@users.noreply.github.com>2019-07-10 09:25:42 +0200
committerGitHub <noreply@github.com>2019-07-10 09:25:42 +0200
commit95d7d1b908facce4887dba91748a900f264fb1f1 (patch)
tree8edcf309bd4f0c0790d130ca400e3efedb8c27b2 /src/Text/Pandoc
parent020e2a06d53777424bedea1a05c31241fc5e9f96 (diff)
downloadpandoc-95d7d1b908facce4887dba91748a900f264fb1f1.tar.gz
Extensions.hs fix typo in PHP Markdown comment
Diffstat (limited to 'src/Text/Pandoc')
-rw-r--r--src/Text/Pandoc/Extensions.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs
index f85b23abd..6cb87eef6 100644
--- a/src/Text/Pandoc/Extensions.hs
+++ b/src/Text/Pandoc/Extensions.hs
@@ -227,7 +227,7 @@ plainExtensions = extensionsFromList
, Ext_strikeout
]
--- | Extensions to be used with github-flavored markdown.
+-- | Extensions to be used with PHP Markdown Extra.
phpMarkdownExtraExtensions :: Extensions
phpMarkdownExtraExtensions = extensionsFromList
[ Ext_footnotes