Chanages to make Extensions work with Mediawiki 1.23.2