From dab41da0b1cb82aefd76f4ea9a44aabf7be1fabc Mon Sep 17 00:00:00 2001 From: Ammarpad Date: Sun, 3 Nov 2024 19:26:25 +0100 Subject: [PATCH] ext.math.popup: Add mediawiki.user in dependencies Dependency introduced in I46e7641 Bug: T378877 Change-Id: I27f28a7adebba16370ae7010a8dbf3d9e3c5c849 --- extension.json | 1 + 1 file changed, 1 insertion(+) diff --git a/extension.json b/extension.json index b16b8f9e9..3f989fc6d 100644 --- a/extension.json +++ b/extension.json @@ -240,6 +240,7 @@ "popups-settings-option-math-description" ], "dependencies": [ + "mediawiki.user", "mediawiki.ForeignApi" ] },