| Index: trunk/extensions/Translate/TranslateEditAddons.php |
| — | — | @@ -20,8 +20,11 @@ |
| 21 | 21 | if ( $group === null ) return true; |
| 22 | 22 | |
| 23 | 23 | $defs = $group->getDefinitions(); |
| | 24 | + $skip = array_merge( $group->getIgnored(), $group->getOptional() ); |
| | 25 | + |
| 24 | 26 | $next = $prev = $def = null; |
| 25 | 27 | foreach ( array_keys( $defs ) as $tkey ) { |
| | 28 | + if ( in_array( $tkey, $skip ) ) continue; |
| 26 | 29 | // Keys can have mixed case, but they have to be unique in a case |
| 27 | 30 | // insensitive manner. It is therefore safe and a must to use case |
| 28 | 31 | // insensitive comparison method |