ページ名の変更

Ext/old/developer/Page validatorの名前を変更します。