Commit: 779d7eaec0610523f7df97e9503cc3f8d63a1fae - pukiwiki-fork (git)

Commit MetaInfo

• Révision: 779d7eaec0610523f7df97e9503cc3f8d63a1fae (tree)
• l'heure: 2021-12-14 00:54:28
• Auteur: umorigu <umorigu@gmai...>
• Commiter: umorigu

Message de Log

BugTrack/2533 Don't create AutoTicketLinkName page on setting off

$no_autoticketlinkname

* 0: (default) Create AutoTicketLinkName page automatically
* 1: Never create AutoTicketLinkName

Change Summary

• modified: plugin/edit.inc.php
• modified: pukiwiki.ini.php

Modification

--- a/plugin/edit.inc.php
+++ b/plugin/edit.inc.php
@@ -275,14 +275,16 @@ function plugin_edit_cancel()
  */
 function plugin_edit_setup_initial_pages()
 {
-	global $autoalias;
+	global $autoalias, $no_autoticketlinkname;
 
 	// Related: Rename plugin
 	if (exist_plugin('rename') && function_exists('plugin_rename_setup_initial_pages')) {
 		plugin_rename_setup_initial_pages();
 	}
 	// AutoTicketLinkName page
-	init_autoticketlink_def_page();
+	if (! $no_autoticketlinkname) {
+		init_autoticketlink_def_page();
+	}
 	// AutoAliasName page
 	if ($autoalias) {
 		init_autoalias_def_page();

--- a/pukiwiki.ini.php
+++ b/pukiwiki.ini.php
@@ -305,6 +305,8 @@ $search_auth = 0;
 
 /////////////////////////////////////////////////
 // AutoTicketLink
+// (0:Create AutoTicketLinkName page automatically, 1:Don't create the page)
+$no_autoticketlinkname = 0;
 $ticket_link_sites = array(
 /*
 	array(