CREATE TABLE IF NOT EXISTS /*_*/bm_jobQueue(
  article_id integer unsigned,
  revision_id integer unsigned,
  PRIMARY KEY (article_id, revision)
) /*$wgDBTableOptions*/;

CREATE TABLE IF NOT EXISTS /*_*/bm_triesJsons(
  article_id integer unsigned,
  revision_id integer unsigned,
  timestamp char(22),
  tree_json mediumtext,
  PRIMARY KEY (article_id)
) /*$wgDBTableOptions*/;

CREATE TABLE IF NOT EXISTS /*_*/bm_coveringsJsons(
  article_id integer unsigned,
  revision_id integer unsigned,
  timestamp char(22),
  covering_json mediumtext,
  PRIMARY KEY (article_id, revision)
) /*$wgDBTableOptions*/;
