mediawiki-extensions-Math/db/math.pg.sql