0.10.5dev: ported r5854 ''(split_page_names fix, #5735)''
Authored by: cboos 2007-07-20
Parent: [r5854]
Child: [r5856]