This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name Spotify-Mute-on-Ads | |
// @namespace http://tampermonkey.net/ | |
// @version 0.1 | |
// @description It mutes the player when the "Advertisment" kicks-in, and once Ads are over it un-mutes the player back | |
// @author Vasilake.sven | |
// @match https://open.spotify.com/* | |
// @icon https://www.google.com/s2/favicons?sz=64&domain=spotify.com | |
// @grant none | |
// ==/UserScript== |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Unicode table - List of most common Unicode characters * | |
* This summary list contains about 2000 characters for most common ocidental/latin languages and most printable symbols but not chinese, japanese, arab, archaic and some unprintable. | |
Contains character codes in HEX (hexadecimal), decimal number, name/description and corresponding printable symbol. | |
What is Unicode? | |
Unicode is a standard created to define letters of all languages and characters such as punctuation and technical symbols. Today, UNICODE (UTF-8) is the most used character set encoding (used by almost 70% of websites, in 2013). The second most used character set is ISO-8859-1 (about 20% of websites), but this old encoding format is being replaced by Unicode. | |
How to identify the Unicode number for a character? | |
Type or paste a character: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
class myController extends Controller | |
{ | |
public function indexAction() | |
{ | |
// Start setup logger | |
$doctrine = $this->getDoctrine(); | |
$doctrineConnection = $doctrine->getConnection(); | |
$stack = new \Doctrine\DBAL\Logging\DebugStack(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
trait singletone | |
{ | |
static function getInstance() { | |
static $instance; | |
if ($instance === null){ | |
$instance = new self(); | |
} | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
cd ~/scripts | |
LAST_IP_FILENAME="./last_known_ip" | |
MY_EMAIL_ADDRESS="[email protected]" | |
LAST_IP="" | |
#CURRENT_IP=`/sbin/ifconfig | awk '/enp3s0/{getline; split($2, result, ":"); print result[2]; }'` | |
CURRENT_IP=`/sbin/ifconfig | awk '/enp3s0/{getline; print $2; }'` | |
if [ -f "$LAST_IP_FILENAME" ]; then | |
LAST_IP=`cat $LAST_IP_FILENAME`; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/** | |
* Created by PhpStorm. | |
* User: Veaceslav Vasilache <[email protected]> | |
* Date: 6/14/18 | |
* Time: 1:14 PM | |
*/ | |
namespace TinAppBundle\Infrastructure; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Line: 103 | |
ed.on("destroy", (function(editor) { | |
var ind = this._findPluginIndex(editor); | |
var ind = _findPluginIndex(editor.editor); | |
if (ind >= 0) { | |
if (_pluginMap[ind].plugin._tracker) { | |
_pluginMap[ind].plugin._tracker.stopTracking(true); | |
jQuery(_pluginMap[ind].plugin._tracker).unbind(); | |
_pluginMap[ind].plugin._tracker = null; | |
} |