HomePhabricator

mediawiki.user: Remove deprecated mw.user.bucket

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

Description

mediawiki.user: Remove deprecated mw.user.bucket

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

Change-Id: I2589dc7ce94004504a7aad080374877391f20057