From a65aba48ecb4066a4381cfa7dea7b8ecec2c082e Mon Sep 17 00:00:00 2001
From: "Amir E. Aharoni" <amir.aharoni@mail.huji.ac.il>
Date: Wed, 18 Apr 2012 08:56:46 +0300
Subject: [PATCH] Fixes bug 4045 by adding dirmarks.

Adding dirmarks (rlm/lrm) to the pipe separators between parent pages
"breadcrumbs" links so that they would appear in the correct order and
not overlap.

Change-Id: I9c72878c829005996bde7904e8b7d2fcfc9d7d17
---
 includes/Skin.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/Skin.php b/includes/Skin.php
index 8b10d7fdff..f40de4cb62 100644
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -688,6 +688,7 @@ abstract class Skin extends ContextSource {
 	 * @return string
 	 */
 	function subPageSubtitle() {
+		global $wgLang;
 		$out = $this->getOutput();
 		$subpages = '';
 
@@ -718,7 +719,7 @@ abstract class Skin extends ContextSource {
 						$c++;
 
 						if ( $c > 1 ) {
-							$subpages .= $this->msg( 'pipe-separator' )->escaped();
+							$subpages .= $wgLang->getDirMarkEntity() . $this->msg( 'pipe-separator' )->escaped();
 						} else  {
 							$subpages .= '&lt; ';
 						}
-- 
2.20.1