Merge "mediawiki.base: Move $j alias to mediawiki.base.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Jun 2018 15:12:38 +0000 (15:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Jun 2018 15:12:38 +0000 (15:12 +0000)
commit343e911e73f7a8f4195f2afab7d4e12fc069e255
treee711cc488bd4128927626969fcbf357a3bb51322
parent97b67921427d3bb38a96529d3a87b26bea96ccf0
parentb251476754dc83ac4847754fbc30854ac07525fe
Merge "mediawiki.base: Move $j alias to mediawiki.base.js"