HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Citoid…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Citoid 1fc7cded35507f3d4c7b99e3d13514be6d167dcd

Fix restoring of last used inspector tab

Bug: T114268
Change-Id: I365b3307089a2b2370233b24b7d27ebe7b5f69b9