Issue #101: Restore original value of $_SERVER['SCRIPT_NAME']
Issue #101: Restore original value of $_SERVER['SCRIPT_NAME']

lizards-and-pumpkins/catalog,lizards-and-pumpkins/catalog,lizards-and-pumpkins/catalog