ページ名の変更

Ext/old/developer/Google chrome extensions managerの名前を変更します。