<a> tags without role="button" specified

Shouldn't *all* <a> tags in ExtJS also have role="button" specified? Per my analysis about half do and half don't.

In particular I'm interested in this being added for menu items. In Ext 4.2 Ext.menu.Item's renderTpl is specified (in part) as follows (lines 120519-29), and as you can see, unlike other <a> tags where role="button" is specified, it is not in the following instance:

My interest is being able to hone in on elements where role="button" for automated Selenium testing, which if you think about it goes hand in hand with accessibility. In any event, shouldn't role="button" be added consistently?

Here are the results of me grepping the source code if this helps hone in on where <a> tags are specified, and whether they may or may not have role="button" specified: