SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / archives / patch-page_len.sql
blob7d01d90a53455012b105228d1826a8f47dfd208b
1 -- Page length field (in bytes) for current revision of page.
2 -- Since page text is now stored separately, it may be compressed
3 -- or otherwise difficult to calculate. Additionally, the field
4 -- can be indexed for handy 'long' and 'short' page lists.
5 --
6 -- Added 2005-03-12
8 ALTER TABLE /*$wgDBprefix*/page
9   ADD page_len int unsigned NOT NULL,
10   ADD INDEX (page_len);
12 -- Not accurate if upgrading from intermediate
13 -- 1.5 alpha and have revision compression on.
14 UPDATE /*$wgDBprefix*/page, /*$wgDBprefix*/text
15   SET page_len=LENGTH(old_text)
16   WHERE page_latest=old_id;