imap-Erweiterung in der lokalen PHP-Umgebung ergaenzt

Ohne Root laesst sich das .deb trotzdem auspacken und einbinden. Damit
laeuft der PayPal-Mailabruf jetzt auch lokal testbar - bisher fiel er hier
sofort mit "Die PHP-IMAP-Erweiterung ist nicht installiert" aus.

Die Schritte stehen in docs/dev-mysql.md, weil .local/ von Git ignoriert
wird und die Umgebung sonst nicht reproduzierbar waere.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/dev-mysql.md

@@ -13,6 +13,28 @@ auf PDO/MySQL abbildet.
 In dieser VS-Code-Server-Umgebung wurde PHP lokal unter `.local/` entpackt,
 weil `sudo` nicht passwordless verfügbar war. `.local/` wird von Git ignoriert.
 
+### Nachträglich eine Erweiterung ergänzen (Beispiel `imap`)
+
+Ohne Root lässt sich ein `.deb` trotzdem auspacken und einbinden — so kam
+die `imap`-Erweiterung für den PayPal-Mailabruf dazu:
+
+```bash
+cd .local/debs
+curl -O http://archive.ubuntu.com/ubuntu/pool/universe/p/php8.3/php8.3-imap_8.3.6-0ubuntu0.24.04.10_amd64.deb
+curl -O http://archive.ubuntu.com/ubuntu/pool/universe/u/uw-imap/libc-client2007e_2007f~dfsg-7build3_amd64.deb
+dpkg-deb -x php8.3-imap_*.deb ../php
+dpkg-deb -x libc-client2007e_*.deb ../php
+# imap.so sucht libc-client.so.2007e im LD_LIBRARY_PATH aus .env.local:
+cp -a ../php/usr/lib/libc-client.so.2007e.0 ../php/usr/lib/x86_64-linux-gnu/
+ln -sf libc-client.so.2007e.0 ../php/usr/lib/x86_64-linux-gnu/libc-client.so.2007e
+echo 'extension=imap.so' >> ../php-dev.ini
+```
+
+Die Paketversion muss zur PHP-Version passen (`20230831` = PHP 8.3). Auf
+dem Webspace geht das **nicht** — dort entscheidet der Anbieter, welche
+Erweiterungen es gibt; siehe `docs/deployment.md`, Abschnitt
+PayPal-Postfach.
+
 ## Umgebungsvariablen
 
 ```bash