From e6decef514b8cbc10899037c267779d18dc1f832 Mon Sep 17 00:00:00 2001
From: "Amir E. Aharoni" <amir.aharoni@mail.huji.ac.il>
Date: Thu, 18 Aug 2022 09:32:28 +0300
Subject: [PATCH] Add Hebrew special pages aliases

Also change the order of language names. The usual
practice is to put the English name first. Among other
things, it helps plain text editors ensure that the line
will behave correctly with RTL language names.

Change-Id: I6b3566bb25354bfdc7cd718b110d98f077e13e31
---
 DiscussionTools.alias.php | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/DiscussionTools.alias.php b/DiscussionTools.alias.php
index 3d4b78432..1b7e46730 100644
--- a/DiscussionTools.alias.php
+++ b/DiscussionTools.alias.php
@@ -15,17 +15,24 @@ $specialPageAliases['en'] = [
 	'GoToComment' => [ 'GoToComment' ],
 ];
 
-/** čeština (Czech) */
+/** Czech (čeština) */
 $specialPageAliases['cs'] = [
 	'TopicSubscriptions' => [ 'Odebíraná_témata' ],
 ];
 
-/** 한국어 (Korean) */
+/** Hebrew (עברית) */
+$specialPageAliases['he'] = [
+	'TopicSubscriptions' => [ 'מינויים_לנושאים' ],
+	'FindComment' => [ 'מציאת_תגובה' ],
+	'GoToComment' => [ 'מעבר_לתגובה' ],
+];
+
+/** Korean (한국어) */
 $specialPageAliases['ko'] = [
 	'TopicSubscriptions' => [ '구독하는주제' ],
 ];
 
-/** polski (Polish) */
+/** Polish (polski) */
 $specialPageAliases['pl'] = [
 	'TopicSubscriptions' => [ 'Subskrypcje_wątków', 'Subskrybowane_wątki' ],
 ];