Avoid name collision between editpage.php and EditPage.php