Merge "Miscellaneous profiling fixes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Jan 2013 08:24:16 +0000 (08:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Jan 2013 08:24:16 +0000 (08:24 +0000)
commit5e2eb7f385e22fe3e2a482b77960369d4fc24f96
treefd2cd938821b7d6afbb6b2630c515f2f28ff4734
parentdcd83202a8d458bf346c81ae85bc39132aec8df1
parentfb0966908bf2ea0bafe88dfda0ad6660c2cbe107
Merge "Miscellaneous profiling fixes"
includes/EditPage.php
includes/Linker.php