1  - id: Search
 2    translation: Search
 3  
 4  - id: Edit this page
 5    translation: Edit this page
 6  
 7  - id: Last modified by
 8    translation: Last modified by
 9  
10  - id: Expand
11    translation: Expand
12  
13  - id: bookSearchConfig
14    translation: |
15      {
16        encode: false,
17        tokenize: function(str) {
18          return str.replace(/[\x00-\x7F]/g, '').split('');
19        }
20      }