Show push example under the detail page (#3739)

2025-08-06 23:17:28 +08:00 · 2023-09-25 17:49:00 +08:00
parent bef6a7911f
commit 98b93c887a
18 changed files with 249 additions and 23 deletions
--- a/extra/push-examples/php/index.php
+++ b/extra/push-examples/php/index.php
@@ -11,4 +11,3 @@ while (true) {
    echo "Pushed!\n";
    sleep(interval);
 }
-