1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
| // some data used in the examples
| Ext.namespace('Ext.exampledata');
|
| Ext.exampledata.dutch_provinces = [
| ['Drenthe'],
| ['Flevoland'],
| ['Friesland'],
| ['Gelderland'],
| ['Groningen'],
| ['Limburg'],
| ['Noord-Brabant'],
| ['Noord-Holland'],
| ['Overijsel'],
| ['Utrecht'],
| ['Zeeland'],
| ['Zuid-Holland']
| ];
|
|