better interval when numeric


git-svn-id: svn://oss.dbc.dk/sync_php/php/OpenLibrary/class_lib/trunk@54651 30e9dc4a-7611-4fbc-83ba-eecf79b76bd0
set_proxy()


git-svn-id: svn://oss.dbc.dk/sync_php/php/OpenLibrary/class_lib/trunk@54671 30e9dc4a-7611-4fbc-83ba-eecf79b76bd0
DOM->preserveWhiteSpace is not reliable, so trim() is added to be defensive


git-svn-id: svn://oss.dbc.dk/sync_php/php/OpenLibrary/class_lib/trunk@54701 30e9dc4a-7611-4fbc-83ba-eecf79b76bd0