DokuWiki

It's better when it's simple

User Tools

Site Tools


plugin:toucher

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
plugin:toucher [2012-09-16 14:56]
93.74.242.22 created
plugin:toucher [2019-07-20 02:52] (current)
Restless [Configuration and Settings]
Line 1: Line 1:
-====== ​toucher ​Plugin ======+====== ​Toucher ​Plugin ======
  
 ---- plugin ---- ---- plugin ----
-description: ​+description: ​touching configuration files without changing DokuWiki settings
 author ​    : Andriy Nych author ​    : Andriy Nych
 email      : nych.andriy@gmail.com email      : nych.andriy@gmail.com
 type       : admin type       : admin
 lastupdate : 2012-09-16 lastupdate : 2012-09-16
-compatible : Rincewind,​angua,​adora belle+compatible : Rincewind,​angua,​adora belle,​weatherwax,​Binky,"​Ponder Stibbons",​Hrun,​Detritus,​2016-06-26+
 depends ​   :  depends ​   : 
 conflicts ​ :  conflicts ​ : 
Line 13: Line 13:
 tags       : admin, config, touch tags       : admin, config, touch
  
-downloadurl: ​http://​github.com/​anandr/​dokuwiki-plugin-toucher/​zipball/​master +downloadurl: ​https://​github.com/​anandr/​dokuwiki-plugin-toucher/​zipball/​master 
-bugtracker : http://​github.com/​anandr/​dokuwiki-plugin-toucher/​issues +bugtracker : https://​github.com/​anandr/​dokuwiki-plugin-toucher/​issues 
-sourcerepo : http://​github.com/​anandr/​dokuwiki-plugin-toucher/​+sourcerepo : https://​github.com/​anandr/​dokuwiki-plugin-toucher/​
 donationurl: ​ donationurl: ​
 ---- ----
Line 21: Line 21:
 ===== Installation ===== ===== Installation =====
  
-Install ​the plugin using the [[plugin:plugin|Plugin ​Manager]] ​and the download URL above, which points to latest version of the plugin. Refer to [[:​Plugins]] on how to install plugins manually.+Search and install ​the plugin using the [[plugin:extension|Extension ​Manager]]. Refer to [[:​Plugins]] on how to install plugins manually.
  
 ===== Examples/​Usage ===== ===== Examples/​Usage =====
  
-The only purpose of this plugin is to [[wp>​Touch_(Unix)|touch]] ​loal configuration file ''​local.conf''​. +The only purpose of this plugin is to [[wp>​Touch_(Unix)|touch]] ''​conf/local.php'' ​configuration file
-Such change of the file timestamp is detected by DokuWiki ​and triggers reloading of CSS, javascript, etc +This procedure invalidates ​DokuWiki ​cache files as described here: [[doku>​caching]].
-which were cached.+
  
-This plugin ​should help when +This is useful, for example, to reload CSS, JavaScript files after update, ​plugin/template installation, ​tweaking editor toolbar, etc.
-  * you install some plugin with its own javascript files and/or css styles and the files are not loaded properly first time +
-  * you are tweaking ​dokuwiki page editor toolbar ​(*.js files) or installing editor toolbur plugins +
-  * may be there are some other cases too+
  
 ===== Configuration and Settings ===== ===== Configuration and Settings =====
  
-The plugin has only one setting: it can be set available only to [[doku>​config:​superuser|superusers]] (the default) or to anyone who has access to admin page (usually superusers and [[doku>​config:​manager|managers]].+The plugin has only one setting: it can be set available only to [[doku>​config:​superuser|superusers]] (the default) or to anyone who has access to admin page (usually superusers and [[doku>​config:​manager|managers]]).
  
 === Change Log === === Change Log ===
  
-Plugin was lying around here and there, even as a simple code block on this page. On 2012/09/16 it moved to github so this date is its official birthday ((Actually he allowed me to learn how to use git finally, but he is not aware of that so do not tell him)).+Plugin was lying around here and there, even as a simple ​downloadable ​code block on this page. On 2012/09/16 it was moved to github so this date is its official birthday ((actually by moving it to GitHub I learned ​how to use git, but he is not aware of that so do not tell him)).
  
 {{rss>​https://​github.com/​anandr/​dokuwiki-plugin-toucher/​commits/​master.atom 10 author date 1d }} {{rss>​https://​github.com/​anandr/​dokuwiki-plugin-toucher/​commits/​master.atom 10 author date 1d }}
Line 46: Line 42:
 === Known Bugs and Issues === === Known Bugs and Issues ===
  
-None so far.+It seems to have a problem under PHP 7.2.19 on Ubuntu. ​ I get the message ''​Warning:​ Use of undefined constant isadmin - assumed '​isadmin'​ (this will throw an Error in a future version of PHP) in .../​lib/​plugins/​toucher/​admin.php on line 36''​. ​ If I change the line
  
-=== ToDo/Wish List ===+    if (!$INFO[isadmin]) { 
 +     
 +to read
  
-Ideas?+    if (!$INFO['​isadmin'​]) { 
 +     
 +everything works okay.
  
-===== Discussion =====+=== ToDo/Wish List ===
  
-Is it worth to include this functionality into code dokuwiki admin plugin\\ //Andriy//, 2012/09/16+Any ideas?
  
 +===== Discussion =====
  
 +Is it worth to include this functionality into core dokuwiki admin/​config plugin? \\ //Andriy//, 2012/09/16
  
plugin/toucher.1347800207.txt.gz · Last modified: 2012-09-16 14:56 by 93.74.242.22