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 ); } |