[Pywikibot-commits] [Gerrit] Function to check whether a site has a certain extension loaded - change (pywikibot/core)