Merge "mediawiki.special.preferences: Use mw.storage.session for sessionStorage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Feb 2017 18:28:14 +0000 (18:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Feb 2017 18:28:14 +0000 (18:28 +0000)
commit3d6e6cd952e640bd112f6871e64772df8b06e6ee
tree81aaec57488ff652345e4578c4a2146d769c4725
parent6f69987af18b6f256ca31957d4244b42235a8b37
parent6f3d5718a2974f6f93aa8c99203d019ffe40bd12
Merge "mediawiki.special.preferences: Use mw.storage.session for sessionStorage"