Thread:Project:Support desk/mediawiki-1.23.1.tar.gz is broken/reply (8)

> to me it seems useless

-> https://gerrit.wikimedia.org/r/#/c/27117/ ;)