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