niklasvh/php.js — pull request #37 by machee (2013-04-06 15:53:41+00:00)
Title: fix php worker bogus error on use keyword

ajaxorg/ace/pull/1354