Skip to content

Instantly share code, notes, and snippets.

Avatar

Mathijs Bernson mbernson

View GitHub Profile
@mbernson
mbernson / hide-jimmy-wales.user.js
Created Nov 28, 2011 — forked from mathiasbynens/hide-jimmy-wales.user.js
Userscript that hides Jimmy Wales on Wikipedia
View hide-jimmy-wales.user.js
// ==UserScript==
// @name Hide Jimmy Wales.
// @match http://*.wikipedia.org/*
// ==/UserScript==
(function() {
var banner = document.getElementById('siteNotice');
banner && banner.style.display = 'none';
}());
View IfException.php
<?php
/**
* @file IfException.php
* @author
* - immeëmosol (programmer dot willfris at nl)
* @date 2011-09-22
* Created: ĵaŭ 2011-09-22, 02:14.46 CEST
* Last modified: ĵaŭ 2011-09-22, 05:02.52 CEST
**/
View autoloader.inc.php
<?php
/**
** @file autoloader.inc.php
** @author immeëmosol (programmer dot willfris at nl)
** @date 2010-12-06
** Created: lun 2010-12-06, 14:05.13 CET
** Last modified: lun 2010-12-06, 15:19.01 CET
**/
$classes_directory = dirname( __FILE__ ) . DIRECTORY_SEPARATOR . 'classes';