HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/TitleBlacklist…

Description

Updated mediawiki/extensions Project: mediawiki/extensions/TitleBlacklist 09458b34225502319c2f201e8833a4e07645be92

Optimize the order of checks

The tboverride permission is not widely granted, so checking for the user
right before checking whether the title is blacklisted optimizes for the
uncommon case.

Change-Id: Ie6ebdf8b9b87d70ebbf2929a5da325f964464e1d

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT6cd0c3709e3a: Updated mediawiki/extensions Project: mediawiki/extensions/TitleBlacklist… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 15 2015, 11:55 AM