Merge "Add ability to show the time taken by update.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Nov 2013 14:27:45 +0000 (14:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Nov 2013 14:27:45 +0000 (14:27 +0000)
commit3adb6b382c05de2a69482f2f2e47cbd2ce62c77c
tree7635c4d34497dbbcd64b21e75eb7afb11caaba07
parenta443be2747d49938dd7beb2fa08d1aefcf15ed7b
parentfae8daa658c144b2414366a2bd93e7766d94d687
Merge "Add ability to show the time taken by update.php"