ページ名の変更

Ext/old/developer/View formatted sourceの名前を変更します。