Write changelog for 0.13.0 release

Change-Id: I0b86339b085de9d3810d27ed24c278488b356dd3 Signed-off-by: James D. Forrester <[email protected]>
wikimedia · Sep 8, 2023 · a091c4d · a091c4d
1 parent bf3e277
commit a091c4d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,7 +1,9 @@
 # MediaWiki-Phan-Config release history #
 
-## UNRELEASED
+## 0.13.0 / 2023-09-08
 * Add plugin to forbid `empty()` on defined variables and properties (Daimona Eaytoy)
+* Bump phan to 5.4.2 and taint-check to 5.0.0 (Michael Große)
+* "Auto discovery" of namespaces of wgConf and wgRequest (Amir Sarabadani)
 
 ## 0.12.1 / 2023-04-17
 * Enable PhanCompatibleSerializeInterfaceDeprecated (Umherirrender)