Merge "Remove $wgUseTeX for checking if editing tools should be shown"