|
@@ -112,9 +112,7 @@ def item_name_list(element, identifier):
|
|
if type(elem) is dict:
|
|
if type(elem) is dict:
|
|
if ident:
|
|
if ident:
|
|
ident = ident + '/'
|
|
ident = ident + '/'
|
|
- keys = list(elem.keys())
|
|
|
|
- keys.sort()
|
|
|
|
- for key in keys:
|
|
|
|
|
|
+ for key in sorted(elem.keys()):
|
|
idstr = '%s%s' % (ident, key)
|
|
idstr = '%s%s' % (ident, key)
|
|
ret += item_name_list(element, idstr)
|
|
ret += item_name_list(element, idstr)
|
|
elif type(elem) is list:
|
|
elif type(elem) is list:
|