diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2013-12-13 20:51:14 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-12-13 20:51:14 +0000 |
| commit | 32234445e06df7ba8f7508b16feff0a58d346348 (patch) | |
| tree | fcd9a6bb3f1044e74fe2bf66b5c65e4612da1667 /resources/startup.js | |
| parent | 8a145aa7654cb7426130347365f1330c1007e77c (diff) | |
| parent | 231f2b953a2c3dd31c8ef9645f6ab8c08f914853 (diff) | |
| download | mediawikicore-32234445e06df7ba8f7508b16feff0a58d346348.tar.gz mediawikicore-32234445e06df7ba8f7508b16feff0a58d346348.zip | |
Merge "startup.js: log current time as global 'mediaWikiLoadStart'"
Diffstat (limited to 'resources/startup.js')
| -rw-r--r-- | resources/startup.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/startup.js b/resources/startup.js index f1395705654c..cd21ecc33a9a 100644 --- a/resources/startup.js +++ b/resources/startup.js @@ -4,6 +4,8 @@ * even the most ancient of browsers, so be very careful when editing. */ +var mediaWikiLoadStart = ( new Date() ).getTime(); + /** * Returns false when run in a black-listed browser * |