HTML manual changes per #379.
authormbowie <mbowie>
Mon, 11 Feb 2008 18:13:57 +0000 (18:13 +0000)
committermbowie <mbowie>
Mon, 11 Feb 2008 18:13:57 +0000 (18:13 +0000)
commit4d54c8804f1e3f412dee7db21074a1ca31686cc9
tree7fd7f1caf8dd1ce76b002d089adbb3fb702a79f4
parent1bc386f02ca225048d9efb855ef8473bad74f72a
HTML manual changes per #379.
net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/PHPManualUIPlugin.java
net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/PHPManualUiMessages.java [new file with mode: 0644]
net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/PHPManualUiMessages.properties [new file with mode: 0644]
net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java