Added the get_cite_id_num() method to convert the citation ID string to a citation ID number.
Authored by: bugman 2009-10-14
Parent: [r9767]
Child: [r9769]
