From 313af3c2bd347bbea8b58c34f6c2c2a8f0a56b87 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 15 Oct 2014 17:39:36 +0200
Subject: [PATCH] add some core interfaces/classes

---
 public/index.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/public/index.js b/public/index.js
index 3eef566..f60e8a8 100644
--- a/public/index.js
+++ b/public/index.js
@@ -55,9 +55,11 @@ $(function() {
 			case "ArrayObject":
 			case "ArrayIterator":
 			case "RecursiveArrayIterator":
+			case "SeekableIterator":
 			case "SplObserver":
 			case "SplSubject":
 			case "SplObjectStorage":
+			case "JsonSerializable":
 				return "<code>";
 
 			// keywords
-- 
2.30.2