Thread:Extension talk:DumpHTML/PostgreSQL and Mediawiki 1.12.0