From 6be7495c3281d459bfe299599aa7c0f5a028df37 Mon Sep 17 00:00:00 2001
From: Guangcong Luo <guangcongluo@gmail.com>
Date: Sat, 27 Jun 2020 12:49:35 -0400
Subject: [PATCH] Rename Leader to Administrator

Ideally we'll have more support for custom ranks on side servers,
but for now you'll have to deal with & and ~ having the same label,
if you still use ~.
---
 js/client.js       | 2 +-
 src/client-main.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/client.js b/js/client.js
index 90bb26376..c77ee4824 100644
--- a/js/client.js
+++ b/js/client.js
@@ -2413,7 +2413,7 @@ function toId() {
 			order: 10001
 		},
 		'&': {
-			name: "Leader (&amp;)",
+			name: "Administrator (&amp;)",
 			type: 'leadership',
 			order: 10002
 		},
diff --git a/src/client-main.ts b/src/client-main.ts
index fdc65a95f..5b23fbb01 100644
--- a/src/client-main.ts
+++ b/src/client-main.ts
@@ -312,7 +312,7 @@ class PSServer {
 			order: 101,
 		},
 		'&': {
-			name: "Leader (&)",
+			name: "Administrator (&)",
 			type: 'leadership',
 			order: 102,
 		},