+++ /dev/null
-// PukiWiki - Yet another WikiWikiWeb clone.
-// $Id: default.js,v 1.3 2005/05/01 02:43:27 henoheno Exp $
-// Copyright (C) 2001-2002 Originally written by yu-ji
-// License: GPL v2 or (at your option) any later version
-//
-// Default JavaScript for default skin
-
-function open_mini(URL,width,height){
- aWindow = window.open(URL, "mini", "toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=yes,resizable=no,width="+width+",height="+height);
-}