Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2022-08-06 21:02:49 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2022-08-06 21:02:49 +0300
commit75cf045fa3ec32d2a82b086d5516315b8fc38afe (patch)
tree1c54d81edc312230d357b01c78d85a64d43a6a47 /psalm.xml
parent31511720730dba86476f7fff3fb2c3ef443c17f7 (diff)
Extract url.php entry point into a route
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'psalm.xml')
-rw-r--r--psalm.xml1
1 files changed, 0 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml
index 4b3a1cadd4..83a7d3d1ab 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -18,7 +18,6 @@
<file name="js/messages.php"/>
<file name="index.php"/>
<file name="show_config_errors.php"/>
- <file name="url.php"/>
<ignoreFiles>
<directory name="vendor"/>
<directory name="libraries/cache"/>