diff options
| author | Valentin Popov <info@valentineus.link> | 2017-12-01 14:10:24 +0300 |
|---|---|---|
| committer | Valentin Popov <info@valentineus.link> | 2017-12-01 14:10:24 +0300 |
| commit | 5156f36d470741f0164d03d31c750f2ca6d0c202 (patch) | |
| tree | 5fad1406bdddd45e229d723d31d0307abca8d737 /locallib.php | |
| parent | 071f3738b8d4397ea29aabc42b7fa9bbdd1f9c75 (diff) | |
| download | tool_managertokens-5156f36d470741f0164d03d31c750f2ca6d0c202.tar.xz tool_managertokens-5156f36d470741f0164d03d31c750f2ca6d0c202.zip | |
The plugin settings page has been fixed
Diffstat (limited to 'locallib.php')
0 files changed, 0 insertions, 0 deletions