From 94454ffca3376c5947f9124a11ca9f7c89bdc0cb Mon Sep 17 00:00:00 2001
From: Will Beason <willbeason@gmail.com>
Date: Mon, 23 Jun 2025 14:17:53 -0500
Subject: [PATCH] Add PHP server file

Signed-off-by: Will Beason <willbeason@gmail.com>
---
 index.php | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 index.php

diff --git a/index.php b/index.php
new file mode 100644
index 0000000..858e604
--- /dev/null
+++ b/index.php
@@ -0,0 +1,24 @@
+<?php
+
+// Launch this server with:
+// php -S localhost:8000 -q -c php.ini
+
+// Call the server with:
+// curl -X POST -H "Content-Type: application/json" \
+//   -d '{"arg1": "aa", "arg2": "aba"}' \
+//   http://localhost:8000
+
+// Get the raw POST data
+$rawData = file_get_contents('php://input');
+
+// Decode the JSON data
+$data = json_decode($rawData, true);
+
+$previous = '';
+$result = [];
+foreach ($data as $i => $value) {
+    $result[] = wikidiff2_inline_json_diff($previous, $value, 0);
+    $previous = $value;
+}
+
+echo json_encode($result);