Merge "Remove unneeded "eslint-disable no-restricted-properties" from several files"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Nov 2018 23:15:37 +0000 (23:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Nov 2018 23:15:37 +0000 (23:15 +0000)
commit1284faa4950f1feba3b1b35473f31a1b8100aa37
treeea8afb243fa05a75040ad8f9fc2cce1eda78d92e
parent57d093584d8ff974342c8828ec76a74c947aa199
parentcda77ab8c4d4b721f1ed1c501eba7aebd0e830ff
Merge "Remove unneeded "eslint-disable no-restricted-properties" from several files"