Update header

2024-06-22 22:24:12 +02:00 · 2024-06-22 22:24:12 +02:00 · 06417a05fb
commit 06417a05fb
parent 6fa5303e15
1 changed files with 1 additions and 1 deletions
--- a/docs/common/header.php
+++ b/docs/common/header.php
@ -144,7 +144,7 @@ function display_header($pageTitle) {
 				</li>
 				<li>
 					<a href=\"http://www.zdenekborovec-dev.cz/random\">
-						Random Tools
+						Random Stuff
 					</a>
 				</li>
 			</ul>