From 3cbb3ec1ddb66258d08d081ffad6ce9faa4464a7 Mon Sep 17 00:00:00 2001 From: Kevin Pulo Date: Mon, 4 Jan 2016 10:13:25 +1100 Subject: [PATCH] Change Extended JSON "OID" heading to "ObjectId" Since otherwise the only way that "OID" can be determined to actually mean "ObjectId", is by finding the mention buried in the Mongo shell mode sub-section. --- source/reference/mongodb-extended-json.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/reference/mongodb-extended-json.txt b/source/reference/mongodb-extended-json.txt index b4f8d2e6685..a9dad8030e9 100644 --- a/source/reference/mongodb-extended-json.txt +++ b/source/reference/mongodb-extended-json.txt @@ -211,8 +211,8 @@ Regular Expression any nonconforming options will be dropped when converting to this representation. -OID -~~~ +ObjectId +~~~~~~~~ .. bsontype:: data_oid