From e8b4adce5f5ec10a145e0173040c2edf81053acd Mon Sep 17 00:00:00 2001
From: Steffen Lange <github@stelas.de>
Date: Fri, 15 May 2020 13:11:44 +0200
Subject: [PATCH] Add MySQL Workbench

---
 modules/MySQLWorkbench.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 modules/MySQLWorkbench.php

diff --git a/modules/MySQLWorkbench.php b/modules/MySQLWorkbench.php
new file mode 100644
index 0000000..250c370
--- /dev/null
+++ b/modules/MySQLWorkbench.php
@@ -0,0 +1,14 @@
+<?php
+
+class MySQLWorkbench extends PatchBase {
+	function __construct() {
+		parent::__construct('Oracle', 'MySQL Workbench', 'https://dev.mysql.com/downloads/workbench/');
+	}
+	function check() : bool {
+		if ($this->fetch('https://api.github.com/repos/mysql/mysql-workbench/tags', true))
+			return $this->parse_json('name');
+		return false;
+	}
+}
+
+?>