Options: Added phpMarkdownExtraExtensions.

And added markdown_phpextra input/output format.

1 files changed, 0 insertions, 5 deletions

diff --git a/pandoc.hs b/pandoc.hs
index de6758be8..c176db078 100644
--- a/pandoc.hs
+++ b/pandoc.hs
@@ -703,11 +703,6 @@ options =
 
     ]
 
-readExtension :: String -> IO Extension
-readExtension s = case safeRead ('E':'x':'t':'_':map toLower s) of
-                       Just ext -> return ext
-                       Nothing  -> err 59 $ "Unknown extension: " ++ s
-
 -- Returns usage message
 usageMessage :: String -> [OptDescr (Opt -> IO Opt)] -> String
 usageMessage programName = usageInfo