diff options
| author | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-09-29 03:34:17 +0200 |
|---|---|---|
| committer | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-09-29 03:34:17 +0200 |
| commit | e0c26282a603881e8d2f839d94c28dbbfc57d71b (patch) | |
| tree | b6b4b7d04d4abc5c6a5121225aefd518d778712b /inc/pageutils.php | |
| parent | da9572711f54d13ce3c5506971154b0bc359723f (diff) | |
| download | rpg-e0c26282a603881e8d2f839d94c28dbbfc57d71b.tar.gz rpg-e0c26282a603881e8d2f839d94c28dbbfc57d71b.tar.bz2 | |
scrutinizer documentations issues
Diffstat (limited to 'inc/pageutils.php')
| -rw-r--r-- | inc/pageutils.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/pageutils.php b/inc/pageutils.php index 5f62926e4..adfb10cc7 100644 --- a/inc/pageutils.php +++ b/inc/pageutils.php @@ -265,7 +265,7 @@ function page_exists($id,$rev='',$clean=true) { * The filename is URL encoded to protect Unicode chars * * @param $raw_id string id of wikipage - * @param $rev string page revision, empty string for current + * @param $rev int|string page revision, empty string for current * @param $clean bool flag indicating that $raw_id should be cleaned. Only set to false * when $id is guaranteed to have been cleaned already. * @return string full path |