changeset 314 | f5690d918358 |
parent 306 | 3fccf43160a7 |
child 326 | 226d5b17a119 |
--- a/server/src/app/Repositories/RdfDocumentRepository.php Sun Oct 02 19:11:06 2016 +0200 +++ b/server/src/app/Repositories/RdfDocumentRepository.php Sun Oct 02 19:14:07 2016 +0200 @@ -178,7 +178,7 @@ return $this->queryDocs(); } - public function get($id, bool $short=false) { + public function get($id, $short=false) { if(strpos($id, config('corpusparole.corpus_id_scheme')) === 0) { $id = substr($id, strlen(config('corpusparole.corpus_id_scheme')));