borzilleri

<?php
/**
 * Cast an object into a different class.
 *
 * Currently this only supports casting DOWN the inheritance chain,
 * that is, an object may only be cast into a class if that class 
 * is a descendant of the object's current class.
 *
 * This is mostly to avoid potentially losing data by casting across
 * incompatable classes.

millermedeiros

<?xml version="1.0" encoding="utf-8"?>
<project name="sample-require-js" default="" basedir=".">
    
    <!-- properties -->
    
    <property name="r.js" value="_build/rjs/r.js" />
    <property name="closure.jar" value="_build/closure/compiler.jar" />
    <property name="rhino.jar" value="_build/rhino/js.jar" />
    <property name="js.build" value="_build/js.build.js" />
    <property name="css.build" value="_build/css.build.js" />

mikelikespie

/*
Add a bookmark to this

javascript:(function(){var c=document.getElementsByTagName("link");for(var d=0;d<c.length;d++){var a=c[d];if(a.rel=='stylesheet'||a.type=="text/css"){var e="css_buster_"+Math.floor(Math.random()*1000000000);var g=a.href.split("?",2);var f;if(g.length>1){var b=g[1].indexOf("&")==-1;if(b){f=e}else{f=g[1]+"&"+e}}else{f=e}a.href=g[0]+"?"+f}}})();
*/
(function() {
  var links = document.getElementsByTagName('link');
  for (var i = 0; i < links.length; i++) {
    var l = links[i];
    if (l.rel == 'stylesheet' || l.type == 'text/css') {