| /plugin/jcapture/lib/ |
| H A D | httpmime-4.0.1.jar | ... final java.io.InputStream in
private final String filename
public void <init> (java.io. ... |
| H A D | jcapture.jar | ... parentComponent
java.io.InputStream content
long contentLength
String fileName
String mimeType
javax.swing.ProgressMonitorInputStream pmis
org. ... |
| /plugin/jcapture/src/com/hammurapi/jcapture/ |
| H A D | WavFile.java | 746 for (String filename : args) { in main()
747 WavFile readWavFile = openWavFile(new File(filename)); in main()
|
| /plugin/jdraw/lib/ |
| H A D | apache-mime4j-0.6.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| H A D | httpmime-4.0.1.jar | ... final java.io.InputStream in
private final String filename
public void <init> (java.io. ... |
| H A D | jdraw.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| H A D | jgraphx-examples.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| /plugin/jdraw/src/com/mxgraph/examples/swing/editor/ |
| H A D | DefaultFileFilter.java | 137 String filename = file.toString().toLowerCase(); in accept() local
141 if (filename.endsWith("." + imageFormats[j].toLowerCase())) in accept()
200 String filename = file.getName().toLowerCase(); in accept() local
202 return filename.endsWith(".xml") || filename.endsWith(".xml.gz"); in accept()
|
| /plugin/jmol2/jmol/ |
| H A D | CHANGES.txt | 593 # bug fix: load @filename
1012 # new feature: load VIBRATION "filename" n .......
1637 # new feature: write MENU "filename.mnu"
1923 # new feature: background IMAGE "filename"
1977 # new feature: echo myecho IMAGE "filename"
3179 # and then using a filename
3181 # new feature: pmesh BINARY "filename"
3962 # write povray [width] [height] filename
4499 # application parameter -m filename
5627 # x = load("filename")
[all …]
|
| H A D | JmolApplet.jar | META-INF/
META-INF/MANIFEST.MF
org/
org/jmol/
org/ ... |
| H A D | JmolApplet0.jar | META-INF/
META-INF/MANIFEST.MF
com/
com/obrador/
javax/
... |
| H A D | JmolApplet0_Console.jar | ... attError
private javax.swing.JPanel buttonPanel
protected String filename
private static String[] lastOpened
public void <init ... |
| H A D | JmolAppletSigned.jar | META-INF/MANIFEST.MF
META-INF/SELFSIGN.SF
META-INF/SELFSIGN ... |
| H A D | JmolAppletSigned0.jar | META-INF/MANIFEST.MF
META-INF/SELFSIGN.SF
META-INF/SELFSIGN ... |
| H A D | JmolAppletSigned0_Console.jar | ... attError
private javax.swing.JPanel buttonPanel
protected String filename
private static String[] lastOpened
public void <init ... |
| /plugin/jplayer/vendor/happyworm/jplayer/lib/aurora/ |
| H A D | mp3.js | 3922 filename: 'string',
|
| H A D | ogg.js | 2 …filename,binary){filename=nodePath["normalize"](filename);var ret=nodeFS["readFileSync"](filename)… argument
|
| H A D | opus.js | 2 …filename,binary){filename=nodePath["normalize"](filename);var ret=nodeFS["readFileSync"](filename)… argument
|
| H A D | vorbis.js | 2 …filename,binary){filename=nodePath["normalize"](filename);var ret=nodeFS["readFileSync"](filename)… argument
|
| /plugin/jplayer/vendor/james-heinrich/getid3/ |
| H A D | README.md | 179 $remotefilename = 'http://www.example.com/filename.mp3';
290 …n getID3($filename) { return unpack('a3TAG/a30title/a30artist/a30album/a4year/a28comment/c1track/c…
|
| H A D | changelog.txt | 101 * bugfix (#2151) improved demo UNC filename support
245 on PHP >=5.4.0 if filename not UTF-8 friendly
252 filename reduplicated in [gzip][files] output
793 internally instead of passing local filename as IMG
1291 'file_modified_time' == filemtime($filename)
1292 'md5_file' == md5_file($filename)
1293 'exist' == file_exists($filename)
1997 of the full filename.
1999 ['filepath'].'/'.['filename'])
2535 ¤ ['filename'] now returned for all files
[all …]
|
| /plugin/jplayer/vendor/james-heinrich/getid3/demos/ |
| H A D | demo.basic.php | 24 $ThisFileInfo = $getID3->analyze($filename);
|
| H A D | demo.browse.php | 229 foreach ($DirectoryContents[$dirname]['dir'] as $filename => $fileinfo) {
231 if ($filename == '..') {
237 …echo htmlentities(str_replace(DIRECTORY_SEPARATOR, '/', realpath($dirname.$filename)), ENT_QUOTES …
239 echo htmlentities(realpath($dirname.$filename), ENT_QUOTES | ENT_SUBSTITUTE, $PageEncoding);
245 $escaped_filename = ($escaped_filename ? $escaped_filename : rawurlencode($filename));
275 foreach ($DirectoryContents[$dirname]['known'] as $filename => $fileinfo) {
278 $escaped_filename = ($escaped_filename ? $escaped_filename : rawurlencode($filename));
337 foreach ($DirectoryContents[$dirname]['other'] as $filename => $fileinfo) {
339 $escaped_filename = htmlentities($filename, ENT_SUBSTITUTE, $PageEncoding);
340 $escaped_filename = ($escaped_filename ? $escaped_filename : rawurlencode($filename));
[all …]
|
| H A D | demo.mimeonly.php | 32 function GetMIMEtype($filename) { argument
33 $filename = realpath($filename);
34 if (!file_exists($filename)) {
35 echo 'File does not exist: "'.htmlentities($filename).'"<br>';
37 } elseif (!is_readable($filename)) {
38 echo 'File is not readable: "'.htmlentities($filename).'"<br>';
48 if ($fp = fopen($filename, 'rb')) {
49 $getID3->openfile($filename);
65 echo 'Failed to getID3->openfile "'.htmlentities($filename).'"<br>';
68 echo 'Failed to fopen "'.htmlentities($filename).'"<br>';
|
| H A D | demo.mp3header.php | 132 function fileextension($filename, $numextensions=1) { argument
133 if (strstr($filename, '.')) {
134 $reversedfilename = strrev($filename);
|