변경 파일 (테마 CSS)
파일: wiki.php (line 6000)
Copy
Before:
if ($theme and ($DBInfo-> theme_css or !$options['css_url']))
$options['css_url']=(!empty ($DBInfo-> themeurl) ? $DBInfo-> themeurl:$DBInfo-> url_prefix)."/theme/$theme/css/default.css";
After:
if ($theme and ($DBInfo-> theme_css or !$options['css_url'])) {
$_css_path = "/theme/$theme/css/default.css";
$_css_prefix = !empty ($DBInfo-> themeurl) ? $DBInfo-> themeurl : $DBInfo-> url_prefix;
$_css_mtime = @filemtime('.' . $_css_path);
$options['css_url'] = $_css_prefix . $_css_path . ($_css_mtime ? '?v=' . $_css_mtime : '');
}
변경 파일 (./css/*)
파일: wiki.php — CSS <link> 출력 (line ~5042)
Copy
Before:
if ($options['css_url']) {
echo ' < link rel = "stylesheet" type = "text/css" ',$media,' href = "',
$options['css_url']." \ " />\n" ;
if (file_exists( './css/_user.css' )) // FIXME
echo ' <link rel="stylesheet" media="screen" type="text/css" href="' ,
$DBInfo-> url_prefix,"/css/_user.css\" /> \n";
}
After:
if ($options['css_url']) {
// css/* sub-stylesheets (formerly @import in default.css)
foreach (array('_base.css', '_extra.css', '_calendar.css') as $_css_sub) {
if (file_exists('./css/' . $_css_sub)) {
$_sub_mtime = @filemtime('./css/' . $_css_sub);
echo ' < link rel = "stylesheet" type = "text/css" ', $media, ' href = "',
$DBInfo->url_prefix, '/css/', $_css_sub, ($_sub_mtime ? '?v=' . $_sub_mtime : ''), " \ " />\n" ;
}
}
echo ' <link rel="stylesheet" type="text/css" ' ,$ media , ' href="' ,
$options[ 'css_url' ]. "\" /> \n";
if (file_exists('./css/_user.css')) { // FIXME
$_user_css_mtime = @filemtime('./css/_user.css');
echo ' < link rel = "stylesheet" media = "screen" type = "text/css" href = "',
$DBInfo->url_prefix,'/css/_user.css', ($_user_css_mtime ? '?v=' . $_user_css_mtime : ''), " \ " />\n" ;
}
}
파일: css/default.css — @import 제거
Copy
Before:
@import url("_base.css");
@import url("_extra.css");
@import url("_calendar.css");
body {
After:
body {