![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[text]](/theme/icons/text-plain.svg){kind=icon} | firefox.js | 2025-05-16 01:30 | 70K |
| firefox-branding.js | 2025-05-16 01:30 | 1.8K |
| firefox-l10n.js | 2025-05-16 01:30 | 372 |
| devtools.js | 2025-05-16 01:30 | 14K |
| webide-prefs.js | 2025-05-16 01:30 | 2.0K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| firefox.js | 2025-05-16 01:30 | 70K |
| firefox-branding.js | 2025-05-16 01:30 | 1.8K |
| firefox-l10n.js | 2025-05-16 01:30 | 372 |
| devtools.js | 2025-05-16 01:30 | 14K |
| webide-prefs.js | 2025-05-16 01:30 | 2.0K |