Merge "Make the User Timing API safe to use in MediaWiki"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Jul 2015 06:23:49 +0000 (06:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Jul 2015 06:23:49 +0000 (06:23 +0000)
commit37f4900008e8ec88e7dd71b883fcc6138f1cff0f
tree815471d54e9eddf0aee88b52f915d64edf5eaabb
parentc8ac9622ea9c1c6f396db58714b7aa509166c6cb
parent7076ee791fe3e991e2a0f8ab17f6bf3fab92df57
Merge "Make the User Timing API safe to use in MediaWiki"