Unsuppress infinite recursion detection & friends

Daimona · Daimona · commit 72e3d11c99e5 · 2025-08-07T00:04:50.000Z
These were suppressed in I3b0f197e13ad35e092 due to false positives that have since been fixed: phan/phan#4971 and phan/phan#4972. Change-Id: I5f6c0840bacf3b7a9748e719589026dff67d73c6
diff --git a/HISTORY.md b/HISTORY.md
@@ -2,6 +2,7 @@
 
 ## 0.17.0 / ??????????
 * Drop support for PHP < 8.1
+* Re-enable infinite loop and recursion detection
 
 ## 0.16.0 / 2025-07-02
 * Use namespaced MediaWiki classes in `globals_type_map` (James D. Forrester)
diff --git a/src/base-config-functions.php b/src/base-config-functions.php
@@ -112,9 +112,6 @@ function setBaseOptions( string $curDir, ConfigBuilder $configBuilder ): void {
 			'PhanUnusedVariable',
 			'PhanUnusedVariableGlobal',
 			'PhanUnusedVariableValueOfForeachWithKey',
-			'PhanPossiblyInfiniteLoop',
-			'PhanSideEffectFreeWhileBody',
-			'PhanPossiblyInfiniteRecursionSameParams',
 		] )
 		->addPlugins( [
 			'PregRegexCheckerPlugin',
