From 42d74afc60f93a7986c90175bc4cdc2422dd6c17 Mon Sep 17 00:00:00 2001
From: Graham Trott <gtanyware@gmail.com>
Date: Tue, 14 Apr 2020 11:38:54 +0100
Subject: [PATCH] Doc

---
 dist/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/README.md b/dist/README.md
index 496d01c..5aaba9c 100644
--- a/dist/README.md
+++ b/dist/README.md
@@ -2,6 +2,6 @@
 
  Here are the distribution files. Load `easycoder.js` or `easycoder-min.js` into your document, either in HEAD or at the end of BODY; from there on your scripts can request everything else they need.
  
- The rest are server-side files. The most significant are 2 small REST servers written in PHP and Python, which perform the same functions. The former is for setting up a `localhost` server and the latter is for use on LAMP servers.
+ The rest are server-side files. The most significant are 2 small REST servers written in Python and PHP, which perform the same functions. The former is for setting up a `localhost` server and the latter is for use on LAMP servers.
 
  The files `easycoder.php`, `ec-rest.txt` and `readme.txt` are for WordPress installations.