From 5de96e9cf6d7b56ddaac43765649d62880b0beaa Mon Sep 17 00:00:00 2001
From: Siebrand Mazeland <siebrand@users.mediawiki.org>
Date: Sun, 19 Jul 2009 14:36:32 +0000
Subject: [PATCH] Use $wgLang->pipeList() instead of separating with "/"

---
 includes/specials/SpecialRevisiondelete.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/specials/SpecialRevisiondelete.php b/includes/specials/SpecialRevisiondelete.php
index cc4c8a4f76..cb2447d767 100644
--- a/includes/specials/SpecialRevisiondelete.php
+++ b/includes/specials/SpecialRevisiondelete.php
@@ -181,7 +181,7 @@ class SpecialRevisionDelete extends UnlistedSpecialPage {
 	 * Show some useful links in the subtitle
 	 */
 	protected function showConvenienceLinks() {
-		global $wgOut, $wgUser;
+		global $wgOut, $wgUser, $wgLang;
 		# Give a link to the logs/hist for this page
 		if( $this->targetObj ) {
 			$links = array();
@@ -210,7 +210,7 @@ class SpecialRevisionDelete extends UnlistedSpecialPage {
 				);
 			}
 			# Logs themselves don't have histories or archived revisions
-			$wgOut->setSubtitle( '<p>'.implode($links,' / ').'</p>' );
+			$wgOut->setSubtitle( '<p>' . $wgLang->pipeList( $links ) . '</p>' );
 		}
 	}
 
-- 
2.20.1