Rename scripting file

In order to add the more scripting examples, it makes sense to rename this file and avoid confusion.
2024-11-22 07:08:10 +00:00 · 2018-06-04 11:48:30 +02:00 · 2018-06-04 11:48:30 +02:00 · 4fdc3d9e15
commit 4fdc3d9e15
parent 9047c4f2a5
2 changed files with 1 additions and 1 deletions
--- a/docs/src/content/addons-scripting.md
+++ b/docs/src/content/addons-scripting.md
@ -14,4 +14,4 @@ handler functions in the module scope. For instance, here is a complete script
 that adds a header to every request.


-{{< example src="examples/addons/scripting.py" lang="py" >}}
+{{< example src="examples/addons/scripting-headers.py" lang="py" >}}
--- a/examples/addons/scripting-headers.py
+++ b/examples/addons/scripting-headers.py