mirror of
https://github.com/joomla-extensions/patchtester.git
synced 2025-02-02 11:58:26 +00:00
Merge pull request #118 from photodude/patch-1
Allow searching by Pull ID w/o prefix id
This commit is contained in:
commit
46fc16a63a
@ -128,7 +128,7 @@ class PullsModel extends \JModelDatabase
|
||||
|
||||
if (!empty($search))
|
||||
{
|
||||
if (stripos($search, 'id:') === 0)
|
||||
if (stripos($search, 'id:') === 0 || is_numeric($search))
|
||||
{
|
||||
$query->where($db->quoteName('a.id') . ' = ' . (int) substr($search, 3));
|
||||
}
|
||||
|
@ -41,7 +41,7 @@ COM_PATCHTESTER_FIELD_REPO_DESC="Name of a repository on GitHub of which to moni
|
||||
COM_PATCHTESTER_FILE_DELETED_DOES_NOT_EXIST_S="The file marked for deletion does not exist: %s"
|
||||
COM_PATCHTESTER_FILE_MODIFIED_DOES_NOT_EXIST_S="The file marked for modification does not exist: %s"
|
||||
COM_PATCHTESTER_FILTER_APPLIED_PATCHES="Filter Applied Patches"
|
||||
COM_PATCHTESTER_FILTER_SEARCH_DESCRIPTION="Filter the list by title or ID."
|
||||
COM_PATCHTESTER_FILTER_SEARCH_DESCRIPTION="Search the list by title or Prefix with ID: to search by Pull ID."
|
||||
COM_PATCHTESTER_HEADING_FETCH_DATA="Fetching GitHub Data"
|
||||
COM_PATCHTESTER_PULL_ID="Pull ID"
|
||||
COM_PATCHTESTER_NO_CREDENTIALS="You have not entered your user credentials in the Options. This will limit you to only 60 requests to the GitHub API per hour. Adding your credentials will allow 5,000 requests per hour."
|
||||
|
Loading…
x
Reference in New Issue
Block a user