Created page_index_from_pipe() and page_name_from_pipe() to obtain page info for a given data pipe.
Authored by: bugman 2011-07-20
Parent: [r13787]
Child: [r13789]
