Merge "mediawiki.ui: Remove remaining stray references to Vector"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 15 Jul 2014 20:56:06 +0000 (20:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 15 Jul 2014 20:56:06 +0000 (20:56 +0000)
commit77defc22e764bad347b6f707a59f64069277a5e2
tree75231ca860464eaed130d0a33d586ee379b200f7
parent7fe39b62c3a532f4fd1b9a570e5c012f88f75ef6
parent955f6e2dd6917f0abe9c946769d7b7ddc782c757
Merge "mediawiki.ui: Remove remaining stray references to Vector"