Manual:EditPage.php

Description
EditPage.php provides the user interface for editing pages.