Merge "Append a user name to 'user' module requests loaded by JavaScript."
authorCatrope <roan.kattouw@gmail.com>
Thu, 10 May 2012 22:42:56 +0000 (22:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 May 2012 22:42:57 +0000 (22:42 +0000)
commitefa6e8139af0c6b2909901e2c1b16d60599dc07a
tree012fdf15cc4ff14d94482e802df8a151bf9ba992
parent78ead2330b63b90d497aa152225934cce616b436
parent1f8d091eef28851cbacbf98b6dafeec48eb76227
Merge "Append a user name to 'user' module requests loaded by JavaScript."
resources/mediawiki/mediawiki.js