Fix mediawiki reader with gfm_auto_identifiers.
Previously the `-` was being replaced by `_`.
Closes #6335.
commit680793803ad4f4c655d599542983048d08f7f17c
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 4 May 2020, 09:20 (6 years ago)
parent030c23e
src/Text/Pandoc/Readers/MediaWiki.hs+4−1
@@ -401,7 +401,10 @@ header = try $ do
401401 lev <- length <$> many1 (char '=')
402402 guard $ lev <= 6
403403 contents <- trimInlines . mconcat <$> manyTill inline (count lev $ char '=')
404− attr <- modifyIdentifier <$> registerHeader nullAttr contents
404+ opts <- mwOptions <$> getState
405+ attr <- (if isEnabled Ext_gfm_auto_identifiers opts
406+ then id
407+ else modifyIdentifier) <$> registerHeader nullAttr contents
405408 return $ B.headerWith attr lev contents
406409
407410-- See #4731: