HomePhabricator

mediawiki.user: Remove deprecated mw.user.bucket
85a48d8fec56Unpublished

Authored by Fomafix on Apr 19 2017, 7:21 AM.

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

Description

mediawiki.user: Remove deprecated mw.user.bucket

The function mw.user.bucket is already deprecated since MediaWiki 1.23.

Change-Id: I2589dc7ce94004504a7aad080374877391f20057