Merge "mediawiki.util: Optimise addPortletLink"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Sep 2018 21:41:32 +0000 (21:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Sep 2018 21:41:32 +0000 (21:41 +0000)
commit6df38a8d26681d5241e2f7808ee3ed69472bb329
tree3c0117693929e847d9499512f0facaf049217b50
parent3a67bd4a2c2957fdd9cda138f5ecdd85c5dc5085
parentbe2774703aaedd0a7726bdfd1d4144fa2d90484d
Merge "mediawiki.util: Optimise addPortletLink"