#author("2018-03-09T00:14:46+09:00;2005-12-04T14:35:30+09:00","","")
**[[質問箱/28]] [#u6fdf3c0]
|RIGHT:70|LEFT:410|c
|~カテゴリ||
|~サマリ|[BugTrack] JavaScriptのopen_miniってなんでしょうか?|
|~バージョン|1.3以前|
|~投稿者|[[名無しさん]]|
|~状態|完了|
|~投稿日|&new{2002-10-25 (FRI) 00:11:26};|
***質問 [#rdcf5b51]
~どこかのページで使ってる?
***回答 [#v2148884]
-[[ぱんだ]] &new{2002-10-25 (FRI) 17:37:04};
~過去の遺物なのではないかと。私は使っているところを見たことがありません。
-[[名無しさん]] &new{2002-11-03 (SUN) 11:57:31};
~[[sng]]さんが昔、help表示に使っていた覚えがありますが。ここでは使われていませんね。削除しちゃって良いのでは?
-[[upk]] &new{2002-11-04 (MON) 23:40:13};
~個人的には、この部分は外だしのファイルとした方が良いと思っているんですけど。で、ダミーを入れとくんなら、残骸でもと。javascript をインラインだと、追加したくても面倒で。
- 追跡調査し、確かに現在では JavaScript の function open_mini() が使用されていない事を確認しましたので、1.3.x, 1.4.x ともに (skin/default.jsごと) 削除しました。 -- [[henoheno]] &new{2005-12-04 (日) 14:35:30};

#comment

トップ   編集 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Site admin: PukiWiki Development Team

PukiWiki 1.5.4+ © 2001-2022 PukiWiki Development Team. Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.044 sec.

OSDN