SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / archives / patch-revision-rev_content_model.sql
blob1ba05721cc5edffa6ce2dd9ca82909b0c5c6e058
1 ALTER TABLE /*$wgDBprefix*/revision
2   ADD rev_content_model varbinary(32) DEFAULT NULL;