From 4996269d5503dbe21b4eab2d2b820a7c0e3bcf27 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Wed, 5 Dec 2018 22:36:12 +0300
Subject: remove mark_button (just use hotkeys or main icon, why is this even
 needed?)

---
 plugins/mark_button/init.php | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 plugins/mark_button/init.php

(limited to 'plugins/mark_button')

diff --git a/plugins/mark_button/init.php b/plugins/mark_button/init.php
deleted file mode 100644
index 8f05d1ada..000000000
--- a/plugins/mark_button/init.php
+++ /dev/null
@@ -1,42 +0,0 @@
-<?php
-class Mark_Button extends Plugin {
-	private $host;
-
-	function init($host) {
-		$this->host = $host;
-
-		$host->add_hook($host::HOOK_ARTICLE_BUTTON, $this);
-	}
-
-	function about() {
-		return array(1.0,
-			"Bottom un/star button for the combined mode",
-			"fox");
-	}
-
-	function hook_article_button($line) {
-		$marked_pic = "";
-		$id = $line["id"];
-
-		if (get_pref("COMBINED_DISPLAY_MODE")) {
-			if (sql_bool_to_bool($line["marked"])) {
-				$marked_pic = "<img
-					src=\"images/mark_set.png\"
-					class=\"marked-pic marked-$id\" alt=\"Unstar article\"
-					onclick='Headlines.toggleMark($id)'>";
-			} else {
-				$marked_pic = "<img
-					src=\"images/mark_unset.png\"
-					class=\"marked-pic marked-$id\" alt=\"Star article\"
-					onclick='Headlines.toggleMark($id)'>";
-			}
-		}
-
-		return $marked_pic;
-	}
-
-	function api_version() {
-		return 2;
-	}
-
-}
-- 
cgit v1.2.3