Hashar has submitted this change and it was merged. Change subject: update.php now create profiling table when needed ......................................................................
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 --- M includes/DefaultSettings.php M includes/installer/MysqlUpdater.php M includes/installer/SqliteUpdater.php A maintenance/sqlite/archives/patch-profiling.sql M profileinfo.php 5 files changed, 34 insertions(+), 4 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/27040 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If68a25f7ec2b0fbb61f82a318427abe58a89dae7 Gerrit-PatchSet: 7 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Asher <[email protected]> Gerrit-Reviewer: Aude <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
