Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  415890af0222168aad17913fe065d2920309a708

Avoid unnecessary network call if there are no categories

Change-Id: Ide5a79d97cb6d84172901679ff695be28662cf2a