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