diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
| commit | d5194154335d6cb30edca9b648083069faf9778c (patch) | |
| tree | bcbefa300067dfd79fc5c770862005129406024d /prettify/lang-proto.js | |
Squashed 'thirdparty/URI.js/' content from commit b77c167
git-subtree-dir: thirdparty/URI.js
git-subtree-split: b77c167bc201575956ad409333ff032e504b8044
Diffstat (limited to 'prettify/lang-proto.js')
| -rw-r--r-- | prettify/lang-proto.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prettify/lang-proto.js b/prettify/lang-proto.js new file mode 100644 index 000000000..f006ad8cf --- /dev/null +++ b/prettify/lang-proto.js @@ -0,0 +1 @@ +PR.registerLangHandler(PR.sourceDecorator({keywords:"bytes,default,double,enum,extend,extensions,false,group,import,max,message,option,optional,package,repeated,required,returns,rpc,service,syntax,to,true",types:/^(bool|(double|s?fixed|[su]?int)(32|64)|float|string)\b/,cStyleComments:!0}),["proto"]); |