{
	"--title": "OOUI - Documentation",
	"--output": "docs",
	"--categories": "./jsduck.categories.json",
	"--eg-iframe": "./jsduck.eg-iframe.html",
	"--processes": "0",
	"--warnings-exit-nonzero": true,
	"--builtin-classes": true,
	"--external": "HTMLDocument,Window,MouseEvent,KeyboardEvent,File",
	"--warnings": ["-nodoc(class,public)"],
	"--": [
		"jsduck.external.js",
		"node_modules/oojs/dist/oojs.jquery.js",
		"src"
	]
}

{
	"--title": "OOUI - Documentation",
	"--output": "docs",
	"--categories": "./jsduck.categories.json",
	"--eg-iframe": "./jsduck.eg-iframe.html",
	"--body-html": [
		"<script>Docs.otherProducts = [",
		"{ text: 'OOUI Demos (JavaScript)', href: '../demos/' },",
		"{ text: 'OOUI Demos (PHP)', href: '../demos/widgets.php' },",
		"];</script>"
	],
	"--processes": "0",
	"--warnings-exit-nonzero": true,
	"--builtin-classes": true,
	"--external": "HTMLDocument,Window,MouseEvent,KeyboardEvent,File",
	"--warnings": ["-nodoc(class,public)"],
	"--": [
		"jsduck.external.js",
		"node_modules/oojs/dist/oojs.jquery.js",
		"src"
	]
}

Add Demos to JSDuck navigation menu
docs: Add Demos to JSDuck navigation menu

Top left corner now has an arrow menu with links to:
- "OOUI Demos (JavaScript)"
- "OOUI Demos (PHP)"

Change-Id: Iae77fd7e896e6cd337757dc4e1eabc79f2d9c47b
