Updated mediawiki/extensions
Project: mediawiki/extensions/Popups  01928225226a5bf383424a945728f5d994639f3d

disablenavpop: Correct type check for `disablePopups` global

Change-Id: I33f62c74fe231c74cf54937aa43ac35ae15a0b37