13693261870
2022-09-16 354b3dbfbffb3df45212a2a44dbbf48b4acc2594
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']
    ];