Note that this was written Jan 9th, 2019, and I personally have not tested this since then. It's possible it will still work for your machine, but I can't guarantee it.
Based on some comments, it looks like someone may have had success with it Dec 22, 2020 too.
| (function (context, trackingId, options) { | |
| const history = context.history; | |
| const doc = document; | |
| const nav = navigator || {}; | |
| const storage = localStorage; | |
| const encode = encodeURIComponent; | |
| const pushState = history.pushState; | |
| const typeException = 'exception'; | |
| const generateId = () => Math.random().toString(36); | |
| const getId = () => { |
| // the cache version gets updated every time there is a new deployment | |
| const CACHE_VERSION = 10; | |
| const CURRENT_CACHE = `main-${CACHE_VERSION}`; | |
| // these are the routes we are going to cache for offline support | |
| const cacheFiles = ['/', '/about-me/', '/projects/', '/offline/']; | |
| // on activation we clean up the previously registered service workers | |
| self.addEventListener('activate', evt => | |
| evt.waitUntil( |
| <?php | |
| class GeoJSON | |
| { | |
| public function __construct(string $geojson) | |
| { | |
| $this->_struct = json_decode($geojson); | |
| } | |
| public static function fromString(string $geojson) |
| <?php // Simple PHP script to lookup for blacklisted IP against multiple DNSBLs at once. ?> | |
| <html> | |
| <head> | |
| <title>DNSBL Lookup Tool - IP Blacklist Check Script</title> | |
| </head> | |
| <body> | |
| <h2>IP Blacklist Check Script</h2> | |
| <form action="<?php echo $_SERVER['PHP_SELF'] ?>" method="post"> | |
| <input type="text" value="" name="ip"/> | |
| <input type="submit" value="LOOKUP"/> |
| #! /usr/bin/env bash | |
| # Install any build dependencies needed for curl | |
| sudo apt-get build-dep curl | |
| # Get latest (as of Feb 25, 2016) libcurl | |
| mkdir ~/curl | |
| cd ~/curl | |
| wget http://curl.haxx.se/download/curl-7.50.2.tar.bz2 | |
| tar -xvjf curl-7.50.2.tar.bz2 |
| <?php | |
| // Converts a number into a short version, eg: 1000 -> 1k | |
| // Based on: http://stackoverflow.com/a/4371114 | |
| function number_format_short( $n, $precision = 1 ) { | |
| if ($n < 900) { | |
| // 0 - 900 | |
| $n_format = number_format($n, $precision); | |
| $suffix = ''; | |
| } else if ($n < 900000) { |
| <?php | |
| // Server file | |
| class PushNotifications { | |
| // (Android)API access key from Google API's Console. | |
| private static $API_ACCESS_KEY = 'AIzaSyDG3fYAj1uW7VB-wejaMJyJXiO5JagAsYI'; | |
| // (iOS) Private key's passphrase. | |
| private static $passphrase = 'joashp'; | |
| // (Windows Phone 8) The name of our push channel. | |
| private static $channelName = "joashp"; |
| <?php | |
| // Based on <https://github.com/mecha-cms/x.minify> | |
| namespace x\minify\_ { // start namespace | |
| $n = __NAMESPACE__; | |
| \define($n . "\\token_boolean", '\b(?:true|false)\b'); | |
| \define($n . "\\token_number", '-?(?:(?:\d+)?\.)?\d+'); |
