}
function is_constant(s) {
- return s.length > 1 && s.toUpperCase(s) === s;
+ s = s.replace(/v\d+(_\d+)?$/, "");
+ if (s.length < 2) {
+ return false;
+ }
+ return s.toUpperCase(s) === s;
}
function is_variable(s) {
case "int":
case "float":
case "string":
+ case "resource":
case "array":
case "object":
case "callable":
case "RecursiveArrayIterator":
case "SplObserver":
case "SplSubject":
+ case "SplObjectStorage":
return "<code>";
// keywords
t = s.substring(i+2);
if (!is_constant(t) && !is_variable(t)) {
// methods
- return "<a href=\"/" + s.replace(/::|\\/g, "/") + "\">";
+ return "<a href=\"" + s.replace(/::|\\/g, "/") + "\">";
}
}
- if (-1 !== (j = s.indexOf("\\"))) {
- return "<a href=\"/" + s.replace(/\\/g, "/").replace(/::|$/, "#") + "\">";
+ if (-1 !== (j = s.indexOf("\\")) && s.substr(j+1,1) !== "n") {
+ return "<a href=\"" + s.replace(/\\/g, "/").replace(/::|$/, "#") + "\">";
}
switch (s.toLowerCase()) {
function blink(c) {
var $c = $(c);
- $c.fadeOut("slow").queue(function(next) {
+ $c.fadeOut("fast").queue(function(next) {
this.style.color = "red";
next();
- }).fadeIn("fast").fadeOut("fast").queue(function(next) {
+ }).fadeIn("fast").fadeOut("slow").queue(function(next) {
this.style.color = "";
next();
}).fadeIn("slow");