Skip to content

Instantly share code, notes, and snippets.

View LatinSuD's full-sized avatar

LatinSuD

  • Spain
View GitHub Profile
@LatinSuD
LatinSuD / google_search_maps_addon.js
Created April 8, 2024 16:38 — forked from Daan-Grashoff/google_search_maps_addon.js
Bring back the google maps button when searching on google
// ==UserScript==
// @name Google Maps in Google Search
// @namespace http://tampermonkey.net/
// @version 2024-03-13
// @description Bring google maps button back
// @author Daan-Grashoff / LatinSuD
// @match https://www.google.com/search*
// @icon https://www.google.com/s2/favicons?sz=64&domain=google.com
// @grant none
// ==/UserScript==
@LatinSuD
LatinSuD / dns_get_record_from.php
Last active May 6, 2024 19:24 — forked from bohwaz/dns_get_record_from.php
PHP script to retrieve a DNS record from a custom nameserver
<?php
/**
* Make a DNS a request to a custom nameserver, this is similar to dns_get_record, but allows you to query any nameserver
* Usage: dns_get_record_from('ns.server.tld', 'A', 'mydomain.tld');
* => ['42.42.42.42']
* @author bohwaz
*/
function dns_get_record_from(string $server, string $type, string $record): array
{