SearchResultSet: remove hasResults(), unused

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

-- For getting diff since last view
ALTER TABLE /*$wgDBprefix*/user_newtalk
  ADD user_last_timestamp varbinary(14) NULL default NULL;