Last modified: 2012-08-14 18:51:52 UTC
$ grep 'Filter banners' * -R special/SpecialCentralNotice.php: $htmlOut .= Html::element( 'legend', null, 'Filter banners' ); special/SpecialNoticeTemplate.php: $htmlOut .= Html::element( 'legend', null, 'Filter banners' );
Ah... about that. Patch is: https://gerrit.wikimedia.org/r/19511