Issue #1286722 by m4olivei, miksan | muschpusch: Fix issue with tao theme and the way that it override theme_pager.