MightyPork 7131e2accd 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

..

ace.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

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

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

worker-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