X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2FForkController.php;h=af06a88982beff4aaa681aa9b9352416ddb9e8f8;hb=398d8e843a72c39c21f6c74e4f43fda413858a13;hp=cc16964e1fdd36a24d9f030692c49f393ce5c6f0;hpb=8a4a8a8dcbaf454c9f64cd8b5ba90704d7721500;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/ForkController.php b/includes/ForkController.php
index cc16964e1f..af06a88982 100644
--- a/includes/ForkController.php
+++ b/includes/ForkController.php
@@ -123,6 +123,7 @@ class ForkController {
 				pcntl_signal_dispatch();
 			} else {
 				declare( ticks = 1 ) {
+					// @phan-suppress-next-line PhanPluginDuplicateExpressionAssignment
 					$status = $status;
 				}
 			}
@@ -153,7 +154,6 @@ class ForkController {
 		// Don't share DB, storage, or memcached connections
 		MediaWikiServices::resetChildProcessServices();
 		FileBackendGroup::destroySingleton();
-		LockManagerGroup::destroySingletons();
 		JobQueueGroup::destroySingletons();
 		ObjectCache::clear();
 		RedisConnectionPool::destroySingletons();