| Index: branches/wmf/1.16wmf4/StartProfiler.php |
| — | — | @@ -36,6 +36,8 @@ |
| 37 | 37 | $wgProfiler->setProfileID( 'dewiki' ); |
| 38 | 38 | } elseif ( $host == 'zh.wikipedia.org' ) { |
| 39 | 39 | $wgProfiler->setProfileID( 'zhwiki' ); |
| | 40 | + } elseif ( $host == 'flaggedrevs.labs.wikimedia.org' ) { |
| | 41 | + $wgProfiler->setProfileID( 'flaggedrevs' ); |
| 40 | 42 | } else { |
| 41 | 43 | $wgProfiler->setProfileID( 'others' ); |
| 42 | 44 | } |