| Index: trunk/extensions/Translate/groups/mediawiki-defines.txt |
| — | — | @@ -439,6 +439,7 @@ |
| 440 | 440 | optional = ogg-player-cortado, ogg-player-vlc-mozilla, ogg-player-vlc-activex |
| 441 | 441 | optional = ogg-player-quicktime-mozilla, ogg-player-quicktime-activex |
| 442 | 442 | optional = ogg-player-totem, ogg-player-kmplayer, ogg-player-kaffeine |
| | 443 | +optional = ogg-player-mplayerplug-in |
| 443 | 444 | |
| 444 | 445 | Online Status |
| 445 | 446 | ignored = onlinestatus-levels |