Page Menu
Home
In-Portal Phabricator
Search
Configure Global Search
Log In
Files
F1949669
codepress.html
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Thu, Oct 29, 7:06 AM
Size
1 KB
Mime Type
text/html
Expires
Sat, Oct 31, 7:06 AM (11 h, 29 m)
Engine
blob
Format
Raw Data
Handle
963500
Attached To
rINP In-Portal
codepress.html
View Options
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<
html
>
<
head
>
<
title
>
CodePress - Real Time Syntax Highlighting Editor written in JavaScript
</
title
>
<
meta
name
=
"description"
content
=
"CodePress - source code editor window"
/>
<
script
type
=
"text/javascript"
>
var
language
=
'generic'
;
var
engine
=
'older'
;
var
ua
=
navigator
.
userAgent
;
var
ts
=
(
new
Date
).
getTime
();
// timestamp to avoid cache
var
lh
=
location
.
href
;
if
(
ua
.
match
(
'MSIE'
))
engine
=
'msie'
;
else
if
(
ua
.
match
(
'KHTML'
))
engine
=
'khtml'
;
else
if
(
ua
.
match
(
'Opera'
))
engine
=
'opera'
;
else
if
(
ua
.
match
(
'Gecko'
))
engine
=
'gecko'
;
if
(
lh
.
match
(
'language='
))
language
=
lh
.
replace
(
/.*language=(.*?)(&.*)?
$
/
,
'
$
1'
);
document
.
write
(
'<link type="text/css" href="codepress.css?ts='
+
ts
+
'" rel="stylesheet" />'
);
document
.
write
(
'<link type="text/css" href="languages/'
+
language
+
'.css?ts='
+
ts
+
'" rel="stylesheet" id="cp-lang-style" />'
);
document
.
write
(
'<scr'
+
'ipt type="text/javascript" src="engines/'
+
engine
+
'.js?ts='
+
ts
+
'"></scr'
+
'ipt>'
);
document
.
write
(
'<scr'
+
'ipt type="text/javascript" src="languages/'
+
language
+
'.js?ts='
+
ts
+
'"></scr'
+
'ipt>'
);
</
script
>
</
head
>
<
script
type
=
"text/javascript"
>
if
(
engine
==
"msie"
||
engine
==
"gecko"
)
document
.
write
(
'<body><pre> </pre></body>'
);
else
if
(
engine
==
"opera"
)
document
.
write
(
'<body></body>'
);
// else if(engine == "khtml") document.write('<body> </body>');
</
script
>
</
html
>
Event Timeline
Log In to Comment