From 992d17c8edf406af54d97d76ef94812a803d4422 Mon Sep 17 00:00:00 2001
From: krahets <krahets@163.com>
Date: Thu, 16 Feb 2023 03:40:55 +0800
Subject: [PATCH] Add the file header.

---
 docs/utils/number_headings.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/utils/number_headings.py b/docs/utils/number_headings.py
index 8d53dd5e6..cf45c9b10 100755
--- a/docs/utils/number_headings.py
+++ b/docs/utils/number_headings.py
@@ -1,3 +1,9 @@
+"""
+File: number_headings.py
+Created Time: 2023-02-16
+Author: Krahets (krahets@163.com)
+"""
+
 import re
 
 def get_heading_info_from_nav(mkdocs_path):