Translations:Manual:Rebuildtextindex.php/12/en

This is no longer necessary since MediaWiki 1.25 where this bug has been fixed.