Skip to content

Instantly share code, notes, and snippets.

View aleohl's full-sized avatar

Alexander O aleohl

View GitHub Profile
@aleohl
aleohl / media-keyboard.user.js
Created October 29, 2021 21:48 — forked from fcannizzaro/media-keyboard.user.js
use media key to play/pause HTML5 video
// ==UserScript==
// @name Media Keyboard
// @version 0.1
// @description try to take over the world!
// @author Francesco Cannizzaro
// @match *://*/*
// ==/UserScript==
(function() {
'use strict';
@aleohl
aleohl / avada_wtf.php
Created February 22, 2022 18:02
#avada
/**
* Re-add the third party changes of the_content filter.
*
* @access public
* @since 2.2
* @param object|bool $override The override or false.
* @return void
*/
public function readd_third_party_the_content_changes( $override = false ) {
global $avada_events_calender;