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-17 10:30]
93.74.242.22 cosmetic changes
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 by moving it to GitHub I learned how to use git, 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 
 + 
 +    if (!$INFO[isadmin]) { 
 +     
 +to read 
 + 
 +    if (!$INFO['​isadmin'​]) { 
 +     
 +everything works okay.
  
 === ToDo/Wish List === === ToDo/Wish List ===
  
-Ideas?+Any ideas?
  
 ===== Discussion ===== ===== Discussion =====
  
 Is it worth to include this functionality into core dokuwiki admin/​config plugin? \\ //Andriy//, 2012/09/16 Is it worth to include this functionality into core dokuwiki admin/​config plugin? \\ //Andriy//, 2012/09/16
- 
- 
  
plugin/toucher.1347870640.txt.gz · Last modified: 2012-09-17 10:30 by 93.74.242.22