@@ -235,6 +235,7 @@ writers = [
235235 ,("man" , PureStringWriter writeMan)
236236 ,("markdown" , PureStringWriter writeMarkdown)
237237 ,("markdown_strict" , PureStringWriter writeMarkdown)
238+ ,("markdown_phpextra" , PureStringWriter writeMarkdown)
238239 ,("plain" , PureStringWriter writePlain)
239240 ,("rst" , PureStringWriter writeRST)
240241 ,("mediawiki" , PureStringWriter writeMediaWiki)