Fixes bug 4045 by adding dirmarks.
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Wed, 18 Apr 2012 05:56:46 +0000 (08:56 +0300)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Wed, 18 Apr 2012 15:34:45 +0000 (18:34 +0300)
commita65aba48ecb4066a4381cfa7dea7b8ecec2c082e
tree12cd18acf01f562911b58696c211f03fe174d9b4
parent467a2f1c55dbb58400f6f8fc0873650cabd9f6b8
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