[PR #8] [CLOSED] Fix misspellings #13

New Issue

admin · 2026-01-24T11:41:15+01:00

admin commented

2026-01-24 11:41:15 +01:00

📋 Pull Request Information

Original PR: https://github.com/php/web-doc-editor/pull/8
Author: @fbonzon
Created: 12/20/2015
Status: ❌ Closed

Base: master ← Head: master

📝 Commits (2)

5da143b Fix misspellings
c7f1605 1 more misspelling

📊 Changes

20 files changed (+2926 additions, -2927 deletions)

View changed files

📝 js/ExtJs/ext-all-debug-w-comments.js (+1637 -1637)
📝 js/ExtJs/src/data/Record.js (+3 -3)
📝 js/locale/ar.js (+20 -20)
📝 js/locale/es.js (+28 -28)
📝 js/locale/fr.js (+36 -36)
📝 js/locale/ru.js (+13 -13)
📝 js/locale/uk.js (+16 -17)
📝 js/main-all-debug.js (+982 -982)
📝 js/main-all.js (+1 -1)
📝 js/main.js (+1 -1)
📝 js/ui/cmp/EntitiesAcronymsPanel.js (+1 -1)
📝 js/ui/cmp/MainPanel.js (+49 -49)
📝 js/ui/cmp/ManagePatchPrompt.js (+4 -4)
📝 js/ui/cmp/PortletInfo.js (+1 -1)
📝 js/ui/cmp/RepositoryTree.js (+52 -52)
📝 js/ui/task/CheckFileTask.js (+1 -1)
📝 php/BugReader.php (+1 -1)
📝 php/ExtJsController.php (+1 -1)
📝 php/File.php (+1 -1)
📝 php/RepositoryManager.php (+78 -78)

📄 Description

No description provided

_{🔄 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/php/web-doc-editor/pull/8 **Author:** [@fbonzon](https://github.com/fbonzon) **Created:** 12/20/2015 **Status:** ❌ Closed **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (2) - [`5da143b`](https://github.com/php/web-doc-editor/commit/5da143bea1c811ccfe508346c97ad372a09be5b2) Fix misspellings - [`c7f1605`](https://github.com/php/web-doc-editor/commit/c7f16055810532f4020cc6786b01b92b2ee34b8b) 1 more misspelling ### 📊 Changes **20 files changed** (+2926 additions, -2927 deletions) <details> <summary>View changed files</summary> 📝 `js/ExtJs/ext-all-debug-w-comments.js` (+1637 -1637) 📝 `js/ExtJs/src/data/Record.js` (+3 -3) 📝 `js/locale/ar.js` (+20 -20) 📝 `js/locale/es.js` (+28 -28) 📝 `js/locale/fr.js` (+36 -36) 📝 `js/locale/ru.js` (+13 -13) 📝 `js/locale/uk.js` (+16 -17) 📝 `js/main-all-debug.js` (+982 -982) 📝 `js/main-all.js` (+1 -1) 📝 `js/main.js` (+1 -1) 📝 `js/ui/cmp/EntitiesAcronymsPanel.js` (+1 -1) 📝 `js/ui/cmp/MainPanel.js` (+49 -49) 📝 `js/ui/cmp/ManagePatchPrompt.js` (+4 -4) 📝 `js/ui/cmp/PortletInfo.js` (+1 -1) 📝 `js/ui/cmp/RepositoryTree.js` (+52 -52) 📝 `js/ui/task/CheckFileTask.js` (+1 -1) 📝 `php/BugReader.php` (+1 -1) 📝 `php/ExtJsController.php` (+1 -1) 📝 `php/File.php` (+1 -1) 📝 `php/RepositoryManager.php` (+78 -78) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

admin added the pull-request label 2026-01-24 11:41:15 +01:00

admin closed this issue

2026-01-24 11:41:15 +01:00

admin referenced this issue

2026-01-24 11:41:16 +01:00

[PR #13] use https for links to pear.php.net #20

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: php/web-doc-editor#13