/*

 * migrate hit counter data to the separate table used by the HitCounters extension

 *

 * run this BEFORE running maintenance/update.php, or counter data will be lost!

 *

 * Source: https://www.mediawiki.org/wiki/Extension_talk:HitCounters#Manual_generation_of_DB_tables_during_upgrade

 */

RENAME TABLE hitcounter TO hit_counter_extension;

CREATE TABLE hit_counter (

  page_id INT(8) UNSIGNED NOT NULL PRIMARY KEY AUTO_INCREMENT,

  page_counter BIGINT(20) UNSIGNED NOT NULL DEFAULT '0'

) ;

CREATE INDEX page_counter ON hit_counter (page_counter);

INSERT INTO hit_counter (page_id, page_counter) SELECT page.page_id, page.page_counter FROM page;