Change project name to filetools

This commit is contained in:
2026-01-05 10:37:51 +01:00
parent a3558c470e
commit fe8d0bbffb
15 changed files with 77 additions and 74 deletions

View File

@@ -1,6 +1,6 @@
<?php
namespace dokuwiki\plugin\filelistplus;
namespace dokuwiki\plugin\filetools;
class Crawler
{