| Index: chrome/content/ui/flasher.js |
| =================================================================== |
| --- a/chrome/content/ui/flasher.js |
| +++ b/chrome/content/ui/flasher.js |
| @@ -28,7 +28,7 @@ |
| { |
| this.stop(); |
| if (nodes) |
| - nodes = nodes.filter(function(node) node.nodeType == Node.ELEMENT_NODE); |
| + nodes = nodes.filter(node => node.nodeType == Node.ELEMENT_NODE); |
| if (!nodes || !nodes.length) |
| return; |