Merge "Remove deprecated $wgBetterDirectionality"