ページ名の変更

Ext/service/Mini Map Sidebar Extensionの名前を変更します。