mediawiki.js: Clean up and improve documentation coverage

[mediawiki.git] / maintenance / archives / patch-updatelog.sql

CREATE TABLE /*$wgDBprefix*/updatelog (
  ul_key varchar(255) NOT NULL,
  PRIMARY KEY (ul_key)
) /*$wgDBTableOptions*/;