A simple PHP pagination tool which works well with the Magento E-commerce CMS