Thread:Extension talk:UserExport/Mediawiki 1.19/reply (3)

Many thanks, it works fine with these changes.