From 0f8ad8ecf77dea643364e281b6114be11b963236 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Fri, 12 Aug 2022 20:47:38 +0100 Subject: [PATCH] Update permission doc output format --- tools/generate-permission-doc.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tools/generate-permission-doc.php b/tools/generate-permission-doc.php index 0eed2ba63..9dfa15cc7 100644 --- a/tools/generate-permission-doc.php +++ b/tools/generate-permission-doc.php @@ -69,15 +69,16 @@ if($doc === false){ $permissions = PermissionManager::getInstance()->getPermissions(); ksort($permissions, SORT_STRING); -$title = "PocketMine-MP Core Permissions"; +$title = "List of " . VersionInfo::NAME . " core permissions"; if($format === "md"){ fwrite($doc, "# $title\n"); }else{ + fwrite($doc, ".. _corepermissions:\n\n"); fwrite($doc, "$title\n"); fwrite($doc, str_repeat("=", strlen($title)) . "\n\n"); } -fwrite($doc, "Generated from PocketMine-MP " . VersionInfo::VERSION()->getFullVersion() . "\n"); +fwrite($doc, "Generated from " . VersionInfo::NAME . " " . VersionInfo::VERSION()->getFullVersion() . "\n"); fwrite($doc, "\n"); if($format === "md"){ fwrite($doc, "| Name | Description | Implied permissions |\n");