update.php now create profiling table when needed
authoraude <aude.wiki@gmail.com>
Sun, 7 Oct 2012 12:15:57 +0000 (12:15 +0000)
committerAntoine Musso <hashar@free.fr>
Mon, 19 Nov 2012 11:38:32 +0000 (12:38 +0100)
commit4fbaa0b822033c8d85ccf07ecaa411cebf224b4f
treed8cb24c5434603693fb2f8f781603c2f3287d881
parent56831e1f9eeaa0beb3f55e99196e9c090ff50a23
update.php now create profiling table when needed

When enabling $wgProfileToDatabase, one would have to manually apply a
patch to the database that would add the `profiling` table. This patch
let update.php creates the table whenever $wgProfileToDatabase is true.

This also provide a SQL patch for SQLite backend and update
profileinfo.php to give some clue about enabling the global and running
update.php

Change-Id: If68a25f7ec2b0fbb61f82a318427abe58a89dae7
includes/DefaultSettings.php
includes/installer/MysqlUpdater.php
includes/installer/SqliteUpdater.php
maintenance/sqlite/archives/patch-profiling.sql [new file with mode: 0644]
profileinfo.php