[PR #968] [MERGED] Added extensions and removed the duplicated entries #1107

New issue

Closed

opened 2026-03-02 16:03:16 +03:00 by kerem · 0 comments

kerem commented

2026-03-02 16:03:16 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/prasathmani/tinyfilemanager/pull/968
Author: @alecos71
Created: 2/16/2023
Status: ✅ Merged
Merged: 2/16/2023
Merged by: @prasathmani

Base: master ← Head: patch-13

📝 Commits (1)

8ebb88b Added extensions and removed the duplicated entries

📊 Changes

1 file changed (+12 additions, -5 deletions)

View changed files

📝 tinyfilemanager.php (+12 -5)

📄 Description

added new extensions used in different linux/windows environments and removed duplicate entries

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/prasathmani/tinyfilemanager/pull/968 **Author:** [@alecos71](https://github.com/alecos71) **Created:** 2/16/2023 **Status:** ✅ Merged **Merged:** 2/16/2023 **Merged by:** [@prasathmani](https://github.com/prasathmani) **Base:** `master` ← **Head:** `patch-13` --- ### 📝 Commits (1) - [`8ebb88b`](https://github.com/prasathmani/tinyfilemanager/commit/8ebb88b484306f96a5372b23accf8cd6e5e14dd5) Added extensions and removed the duplicated entries ### 📊 Changes **1 file changed** (+12 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `tinyfilemanager.php` (+12 -5) </details> ### 📄 Description added new extensions used in different linux/windows environments and removed duplicate entries --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>