-
Igor Wiedler authored
The tool used: https://github.com/ralphschindler/PHPTools The command used: $ php ../PHPTools/bin/php-namespacer.php -l=library --output-path=src
a3f8a0ee
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Debug | ||
| Facet | ||
| Grouping | ||
| Highlighting | ||
| MoreLikeThis | ||
| Spellcheck | ||
| Stats | ||
| FacetSet.php | ||
| Select.php |