mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
PHP Runtime
This commit is contained in:
@@ -8,5 +8,16 @@
|
||||
<excludeFolder url="file://$MODULE_DIR$/out" />
|
||||
</content>
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module-library" scope="PROVIDED">
|
||||
<library name="PHP Runtime" type="php">
|
||||
<CLASSES>
|
||||
<root url="jar://$APPLICATION_PLUGINS_DIR$/php/lib/php.jar!/stubs" />
|
||||
</CLASSES>
|
||||
<JAVADOC />
|
||||
<SOURCES>
|
||||
<root url="jar://$APPLICATION_PLUGINS_DIR$/php/lib/php.jar!/stubs" />
|
||||
</SOURCES>
|
||||
</library>
|
||||
</orderEntry>
|
||||
</component>
|
||||
</module>
|
||||
Reference in New Issue
Block a user