update devtools.php

This commit is contained in:
Li 2022-10-10 13:22:15 +13:00
parent 8a0632b298
commit d35725081b
1 changed files with 29 additions and 0 deletions

View File

@ -324,6 +324,24 @@ function getIcon(string $file)
</a> </a>
<?php <?php
} }
elseif($type == "psm-sdk-doc")
{
?>
<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
</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
</span>
</a>
<?php
}
else else
{ {
$dirlist = glob($type.'/*'); $dirlist = glob($type.'/*');
@ -335,6 +353,17 @@ function getIcon(string $file)
</span> </span>
</a> </a>
<?php } <?php }
if($type == "psm-docs"){ // append psm-sdk-doc to result
?>
<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
</span>
</a>
<?php
}
} }
?> ?>
</div> </div>