Added the definition of the PageManager.