Bug 879273 - linter fixes, r=Rik
Merge pull request #10188 from fabi1cazenave/linter-bug879273

Bug 879273 - linter fixes, r=Rik