diff options
Diffstat (limited to 'src/Text/Pandoc')
| -rw-r--r-- | src/Text/Pandoc/Options.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index b62187bfe..2382bb3e8 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -31,6 +31,7 @@ options. module Text.Pandoc.Options ( Extension(..) , pandocExtensions , strictExtensions + , phpMarkdownExtraExtensions , ReaderOptions(..) , HTMLMathMethod (..) , CiteMethod (..) @@ -134,6 +135,19 @@ pandocExtensions = Set.fromList , Ext_implicit_header_references ] +phpMarkdownExtraExtensions :: Set Extension +phpMarkdownExtraExtensions = Set.fromList + [ Ext_footnotes + , Ext_pipe_tables + , Ext_raw_html + , Ext_markdown_attribute + , Ext_fenced_code_blocks + , Ext_definition_lists + , Ext_intraword_underscores + , Ext_header_attributes + , Ext_abbreviations + ] + strictExtensions :: Set Extension strictExtensions = Set.fromList [ Ext_raw_html ] |