Use actual arrows, not entities.

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

-- Index to speed up locating unpatrolled changes
-- matching specific edit criteria
ALTER TABLE /*$wgDBprefix*/recentchanges
        ADD INDEX `rc_patrolling` ( `rc_this_oldid` , `rc_last_oldid` , `rc_patrolled` );