From 3fe0184449a57225839cf88769a9f9fd43e310ef Mon Sep 17 00:00:00 2001 From: Andreas Gohr Date: Tue, 16 Feb 2021 21:10:16 +0100 Subject: [PATCH] dwpage: rename gmeta into getmeta --- bin/dwpage.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/bin/dwpage.php b/bin/dwpage.php index ab46cd0db..3973ec222 100755 --- a/bin/dwpage.php +++ b/bin/dwpage.php @@ -121,14 +121,14 @@ class PageCLI extends CLI { /* gmeta command */ $options->registerCommand( - 'gmeta', + 'getmeta', 'Prints metadata value for a page to stdout.' ); $options->registerArgument( 'wikipage', 'The wiki page to get the metadata for', true, - 'gmeta' + 'getmeta' ); $options->registerArgument( 'key', @@ -137,7 +137,7 @@ class PageCLI extends CLI { 'For retrieving items that are stored in sub-arrays, separate the ' . 'keys of the different levels by spaces, in quotes, eg "date modified".', false, - 'gmeta' + 'getmeta' ); } @@ -182,7 +182,7 @@ class PageCLI extends CLI { $this->clearLock($wiki_id); $this->success("$wiki_id unlocked"); break; - case 'gmeta': + case 'getmeta': $wiki_id = array_shift($args); $key = trim(array_shift($args)); $meta=print_r(p_get_metadata($wiki_id, $key), true);