Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  25099c599eb543289cd1845b94196f6bf0eb8374

Add tabindex to wpTextbox1 in Page: pages editor

Change-Id: Id38030b1600ca1810b310796e117adc8f0104d80