mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist
synced 2024-11-15 10:17:49 +00:00
29a2de58d2
There was never any use-case given for this, nor was there a bug report about it, and it doesn't seem useful in any way, so remove it. Also, add comments so that it's obvious when grepping that the messages aren't unused now. Change-Id: I80079fb4822fbc4f47df592119b1b1f8a367927c |
||
---|---|---|
api | ||
i18n | ||
modules | ||
tests | ||
.gitignore | ||
.gitreview | ||
.jshintrc | ||
COPYING | ||
mw.ext.TitleBlacklist.lua | ||
TitleBlacklist.hooks.php | ||
TitleBlacklist.i18n.php | ||
TitleBlacklist.library.php | ||
TitleBlacklist.list.php | ||
TitleBlacklist.php |