Patch to make the WikiEditor buttons accessible by keyboard
According to paragraph 2.1.1.3 of the accessibility report (http://www.thirdageonline.eu/project-tao-2/software-development/mediawiki-accessibility-enhancements/) the buttons for manipulating the text appearance in WikiEditor have to be accessible by the keyboard using the TAB key.
I propose the attached patch to enhance the accessibility. It declares the buttons as 'a' tags instead of 'span' and also adds an empty 'href' attribute.
Version: unspecified
Severity: normal
Attached: