From a091c4d4e989edadf11341ca16752f9177a5dd86 Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Fri, 8 Sep 2023 16:36:28 +0100 Subject: [PATCH] Write changelog for 0.13.0 release Change-Id: I0b86339b085de9d3810d27ed24c278488b356dd3 Signed-off-by: James D. Forrester --- HISTORY.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/HISTORY.md b/HISTORY.md index c77be4f..bf90cdb 100644 --- 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)