From 79f3121985d090d26aa95cb834e82c4e2b913df3 Mon Sep 17 00:00:00 2001
From: Li <li@silica.codes>
Date: Mon, 10 Oct 2022 13:23:47 +1300
Subject: [PATCH] Fix sdk doc names

---
 devtools.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/devtools.php b/devtools.php
index a826b4a..6a52b17 100755
--- a/devtools.php
+++ b/devtools.php
@@ -330,14 +330,14 @@ function getIcon(string $file)
 	<a href="/psm-sdk-doc/en" class="devtool" id="sdkdocen">
 		<img src="/img/docs.png" width="128" height="128" class="bubble">
 		<span id="textContent">
-			English SDK Documentation
+			English Docs
 		</span>
 	</a>
 
 	<a href="/psm-sdk-doc/jp" class="devtool" id="sdkdocjp">
 		<img src="/img/docs.png" width="128" height="128" class="bubble">
 		<span id="textContent">
-			Japanese SDK Documentation
+			Japanese Docs
 		</span>
 	</a>
 	<?php
@@ -359,7 +359,7 @@ function getIcon(string $file)
 			<a href="?type=psm-sdk-doc" class="devtool" id="sdkdoc">
 				<img src="/img/docs.png" width="128" height="128" class="bubble">
 				<span id="textContent">
-					SDK Documentation
+					SDK Docs
 				</span>
 			</a>
 			<?php