Betreft: Geluidsoverlast Huisman / Seven Waves
Datum: 30 december 2016
Aan:
- Huisman Equipment BV
- Damen Shiprepair Schiedam
- Gemeente Schiedam
- DCMR Milieudienst Rijnmond
<?php | |
/** | |
* Note: from PHP 7.0 and up, rand() is identical to mt_rand(). | |
* In order to test both functions, run this file on PHP 5.6 or below. | |
*/ | |
$date = 'Tue, 21 Feb 2018 11:21:40 +0100'; | |
$hash = '$1$Wp8cWAg7$stCx1RGCLwwZmYJi9eKRI0'; |
<?php | |
/** | |
* @param string $value Raw MIME header field | |
* @return string UTF-8 subject | |
**/ | |
function decode_header_field( $value ) | |
{ | |
if ( preg_match( "/^\\=\\?([a-z0-9-]+)\\?([QB])\\?(.*)\\?\\=\$/i", $value, $sub ) ) | |
{ |
Betreft: Geluidsoverlast Huisman / Seven Waves
Datum: 30 december 2016
Aan:
<TaskerData sr="" dvi="1" tv="4.6u2m"> | |
<Profile sr="prof6" ve="2"> | |
<id>6</id> | |
<mid0>9</mid0> | |
<!-- Execute daily at 23:45 - way past my bedtime! --> | |
<Time sr="con0"> | |
<fh>23</fh> | |
<fm>45</fm> | |
<th>23</th> | |
<tm>45</tm> |
I hereby claim:
To claim this, I am signing this object:
The graphing widget shows graphs using the Rickshaw graphing library. The names of data fields should be (vaguely) familiar if you've used Rickshaw before.
It's recommended that you replace the /assets/javascripts/rickshaw.min.js from your dashboard with the latest from here.
<?php | |
require_once( "termcolours.inc" ); | |
class ProgressBar | |
{ | |
protected $ticktime = false; | |
protected $exp; | |
protected $xsquare; |
<?php | |
class St | |
{ | |
/** | |
* Generate a random number in the interval (0,1). | |
* | |
* Using the parameters $closed_left and/or $closed_right, the interval may | |
* be closed to [0,1), (0,1], or [0,1]. |
<?php | |
// 'Normal' colours: | |
function black($s) { return _term_colour( '0;30', $s ); } | |
function blue($s) { return _term_colour( '0;34', $s ); } | |
function green($s) { return _term_colour( '0;32', $s ); } | |
function cyan($s) { return _term_colour( '0;36', $s ); } | |
function red($s) { return _term_colour( '0;31', $s ); } | |
function purple($s) { return _term_colour( '0;35', $s ); } | |
function yellow($s) { return _term_colour( '0;33', $s ); } |