MightyPork c2229cbffc Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00

..

ace.js

Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00

ext-language_tools.js

Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00

mode-php.js

Removed krumo, updated ace + patch to support traits, changed L&F to monokai/sublime, output changed to plain text, removed clippy

2015-09-14 15:24:10 +02:00

theme-monokai.js

Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00

worker-php.js

Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00