| Index: trunk/extensions/Translate/groups/MediaWikiExtensions.php |
| — | — | @@ -387,7 +387,6 @@ |
| 388 | 388 | |
| 389 | 389 | protected $flaggedrevsextensions = array( |
| 390 | 390 | 'ext-flaggedrevs-flaggedrevs', |
| 391 | | - 'ext-flaggedrevs-flaggedrevsaliases', |
| 392 | 391 | 'ext-flaggedrevs-oldreviewedpages', |
| 393 | 392 | 'ext-flaggedrevs-qualityoversight', |
| 394 | 393 | 'ext-flaggedrevs-problempages', |