<?php
function parse_accept_headers($default = 'html'){
$formats = array(
...
PHP Parse HTTP Accept headers
a) define a list of MIME ty...
<?php
function unique_file($prefix, $suffix){
$file = sprintf('%s.%s', $prefix, $suffix);
...
PHP Generate a numbered file name
Create a file name from the...
<script type="text/javascript" id="target"> var urls = [["url1", "name1"], ["url2", "name2"], ["url3", "name3"]]; ...
<?php
if (count($argv) != 3)
die("Usage: $argv[0] <RSS feed URL> <output dir>\n");
...
PHP Download all audio enclosur...
Given an RSS feed and an ou...
javascript:
(function(){
var imgs = document.getElementsByTagName("img");
...
JavaScript On Zoom all image files from s...
by hubfactor,
March 02, 2008 16:08
I hadn't realised that HTML...
javascript:
(function(){
var tex=prompt("TeX input:","");
...
JavaScript On Mathtex bookmarklet
by hubfactor,
February 21, 2008 17:58
Ignoring the second version...
<?php $url = 'http://www.example.com/url.php?t=4&p=5&sid=ddf175fd02216cbe9fab9a4b528d7185&hilite=2c23tra#link'; ...
Date.prototype.when = function(){
var diff = (new Date() - this) / 1e3;
var u = [ "second", "minute", "hour", "day", "week", "month", "year" ];
...
JavaScript On Beautify JS Date to how rec...
by hubfactor,
February 07, 2008 18:22
Hope the date's not in the ...
function odump(object, depth, max){
depth = depth || 0;
max = max || 2;
...
JavaScript Recursively dump an object
Given an object, iterate th...
<?php
require_once("arc/ARC2.php"); // http://arc.semsol.org/
...
PHP Parse del.icio.us RSS feed
Uses ARC RDF parser from ht...

The equivalent of the non-s...