Adding PHPManual and PHPmanual.htmlparser to the plugins list.
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.ui / src / net / sourceforge / phpdt / internal / debug / ui /
drwxr-xr-x   ..
-rw-r--r-- 8650 PHPDebugHover.java
-rw-r--r-- 7385 PHPDebugModelPresentation.java
-rw-r--r-- 852 PHPDebugUiMessages.java
-rw-r--r-- 4893 PHPDebugUiMessages.properties
-rw-r--r-- 3862 PHPDebugUiPlugin.java
-rw-r--r-- 2755 PHPExecutionArgumentsPage.java
drwxr-xr-x - actions
drwxr-xr-x - launcher
drwxr-xr-x - preferences
drwxr-xr-x - properties