* @param php_extensions
* The PHP extensions to set.
*/
- public static void setExtensins(String[] php_extensions) {
+ public static void setExtensions(String[] php_extensions) {
PHP_EXTENSIONS = php_extensions;
}
}
}
- // int index = includeNameString.indexOf('/');
- // if (index < 0) {
// includeNameString contains no path separator
path = project.getLocation().append(resourcePath.removeLastSegments(1));
path = path.append(includeNameString);