Re #9439. Added code to parse index ranges in 'domains' attributes
Merge remote-tracking branch 'origin/feature/9439_domain_ranges'