diff --git a/dev/tools/phan/config.php b/dev/tools/phan/config.php
index ee08ff3b561..f477b500b20 100644
--- a/dev/tools/phan/config.php
+++ b/dev/tools/phan/config.php
@@ -473,7 +473,7 @@ return [
 		// 'PhanPluginRedundantAssignment',
 
 		'PhanTypeExpectedObjectPropAccess',
-		'PhanTypeInvalidRightOperandOfNumericOp',
+		// 'PhanTypeInvalidRightOperandOfNumericOp',
 		// 'PhanPluginInlineHTML',
 		// 'PhanPluginInlineHTMLTrailing',
 		// 'PhanPluginUnknownFunctionReturnType',