Skip to content

Instantly share code, notes, and snippets.

View Micorksen's full-sized avatar

Matteo C. Micorksen

View GitHub Profile
// ==UserScript==
// @name ENT Hauts-de-France
// @namespace https://micorksen.eu
// @version 1.0
// @description Redirects to Educonnect without the need to click buttons.
// @author Micorksen
// @match https://connexion.enthdf.fr/*
// @match https://educonnect.education.gouv.fr/idp/profile/SAML2/Unsolicited/SSO?execution=*
// @icon https://www.google.com/s2/favicons?sz=64&domain=enthdf.fr
// @grant none
@Micorksen
Micorksen / git-trash.user.js
Created March 2, 2023 19:28
Delete a GitHub repository in one-click.
// ==UserScript==
// @name Git Trash
// @namespace https://micorksen.eu
// @version 1.0
// @description Delete a GitHub repository in one-click.
// @author Micorksen
// @match https://github.com/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=github.com
// @require https://code.jquery.com/jquery-3.6.3.slim.min.js
// ==/UserScript==
@Micorksen
Micorksen / adfocus.user.js
Last active January 21, 2024 10:40
Skip ads when accessing adfoc.us URLs.
// ==UserScript==
// @name Do not Adfoc.us
// @namespace https://micorksen.eu
// @version 1.0
// @description Skip ads when accessing shortened URLs.
// @author Micorksen
// @match http://*/*
// @match https://*/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=adfoc.us
// @grant none
@Micorksen
Micorksen / plausible.user.js
Last active February 12, 2023 21:56
Disable Plausible tracking.
// ==UserScript==
// @name Plausible
// @namespace https://micorksen.eu
// @version 1.0
// @description Disable Plausible tracking.
// @author Micorksen
// @match http://*/*
// @match https://*/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=plausible.io
// @grant none
@Micorksen
Micorksen / forms-filler.user.js
Last active April 29, 2023 11:22
Get a pre-filled link for Google Forms.
// ==UserScript==
// @name Forms Filler
// @namespace https://micorksen.eu
// @version 1.0
// @description Get a pre-filled link for Google Forms.
// @author Micorksen
// @match https://docs.google.com/forms/*
// @icon https://gstatic.com/images/branding/product/2x/forms_2020q4_48dp.png
// @require https://code.jquery.com/jquery-3.6.3.slim.min.js
// @grant GM_setClipboard
@Micorksen
Micorksen / discord-bio.user.js
Last active November 5, 2024 23:47
Remove the stupid limit of 'About me' on Discord's web app.
// ==UserScript==
// @name Discord Bio
// @namespace https://micorksen.eu
// @version 1.0
// @description Remove the stupid limit of 'About me' on Discord's web app.
// @author Micorksen
// @match https://discord.com/*
// @icon https://www.google.com/s2/favicons?sz=64&domain=discord.com
// @require https://code.jquery.com/jquery-3.6.3.slim.min.js
// @grant none
@Micorksen
Micorksen / make-elementor-default-editor.php
Created September 26, 2021 14:50 — forked from heyfletch/make-elementor-default-editor.php
Make Elementor the Default Editor, Not the WordPress Editor (Gutenberg or Classic)
<?php
/*
Plugin Name: Make Elementor Default Editor
Plugin URI: https://github.com/heyfletch/make-elementor-default-editor
Description: Make Elementor the default editor for pages, posts, and Elementor templates
Version: 0.1.4
Author: Fletcher Digital (edited by Matteo C.)
Author URI: https://fletcherdigital.com
License: GPL v2 or later
License URI: https://www.gnu.org/licenses/gpl-2.0.html