Change Details

In recentchanges, "|" comes from CSS. It should be part of the regular HTML -- no extra expense. And that way copying the text with ones mouse would not cause problems like seen in T244411.

In recentchanges, "|" comes from CSS. It should be part of the regular HTML -- at no extra expense. And that way copying the text with one's mouse would not cause problems like seen in T244411.

In recentchanges, "|" comes from CSS. It should be part of the regular HTML -- at no extra expense. And that way copying the text with one's mouse would not cause problems like seen in T244411.