2019-10-16 - production
21:53	<jforrester@deploy1001>	Synchronized php-1.35.0-wmf.2/extensions/WikiEditor: T235701 Revert removal of jquery.tabIndex (duration: 00m 59s)	[production]