ページ名の変更

Ext/view/Persistent Highlighterの名前を変更します。