Extension for robomonkey.io

1// ==UserScript==
2// @name		Extension for robomonkey.io
3// @description		A new extension
4// @version		1.0.1
5// @match		https://*.robomonkey.io/*
6// @icon		https://robomonkey.io/favicon.ico
7// ==/UserScript==
8(function() {
9    'use strict';
10    // Your code here
11})();