Bugfix: Fix watchlist page-edit module check

2019-12-23 20:53:08 +00:00 · 2019-12-23 20:53:08 +00:00 · 543fcc171f
parent 7548c1e7ee
commit 543fcc171f
1 changed files with 1 additions and 1 deletions
--- a/modules/feature-watchlist.php
+++ b/modules/feature-watchlist.php
@ -215,7 +215,7 @@ register_module([
 			exit(page_renderer::render_main("Watchlist update successful", "<p>$message</p>"));
 		});
 		
-		if(!module_exists("edit")) {
+		if(!module_exists("page-edit")) {
 			error_log("[module/feature-watchlist] Note: Without the page-edit module, the feature-watchlist module doesn't make much sense. If you don't want anonymous people to edit your wiki, try the 'anonedits' setting.");
 			return false;
 		}