| Index: trunk/extensions/FlaggedRevs/presentation/FlaggedRevsUI.hooks.php |
| — | — | @@ -119,7 +119,9 @@ |
| 120 | 120 | return true; |
| 121 | 121 | } |
| 122 | 122 | |
| 123 | | - /** Add user preferences */ |
| | 123 | + /** |
| | 124 | + * Add user preferences (uses prefs-flaggedrevs, prefs-flaggedrevs-ui msgs) |
| | 125 | + */ |
| 124 | 126 | public static function onGetPreferences( $user, array &$preferences ) { |
| 125 | 127 | // Box or bar UI |
| 126 | 128 | $preferences['flaggedrevssimpleui'] = |