ページ名の変更

pukiwiki1.4/tips/default.ini.phpの名前を変更します。