This site is no longer actively maintained. It exists for historical purposes as an example of Phabricator integration and Lua scripting.

Difference between revisions of "T191668: Define varargs in \IDatabase::buildLike() in a way phan can understand it"

From cpt
m (updated task from Phabricator)
m (updated task from Phabricator)
 
(19 intermediate revisions by the same user not shown)
Line 3: Line 3:
|status=resolved
|status=resolved
|color=red
|color=red
|points=
|dateCreated=1523049389
|dateCreated=1523049389
|dateModified=1565887087
|dateModified=1590681628
|dateClosed=1565887087
|dateClosed=1565887087
|author={{Phabricator User
|author={{Phabricator User
Line 17: Line 18:
}}
}}
|projects={{Phabricator Project
|projects={{Phabricator Project
|name=MediaWiki-Rdbms
|name=MW-1.35-notes
|column=General library
|column=1.35.0-wmf.1; 2019-10-08
|entryDate=1523049389
}}{{Phabricator Project
|name=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
|entryDate=1557265747
}}{{Phabricator Project
|name=MW-1.33-notes
|entryDate=1523049389
}}{{Phabricator Project
}}{{Phabricator Project
|name=Patch-For-Review
|name=Patch-For-Review
|entryDate=1523049389
}}{{Phabricator Project
}}{{Phabricator Project
|name=Performance-Team
|name=Performance-Team
|column=Blocked or Needs-CR
|column=Blocked (old)
|entryDate=1558472792
}}{{Phabricator Project
}}{{Phabricator Project
|name=Wikimedia-production-error (Shared Build Failure)
|name=Wikimedia-Rdbms
|column=In progress
|column=Rdbms library
|entryDate=1563899447
}}{{Phabricator Project
}}{{Phabricator Project
|name=phan
|name=phan
|column=Backlog
|entryDate=1523049389
}}
|transitions={{Transition
|date=1590681628
|type=Added Project
|project=MW-1.33-notes
}}{{Transition
|date=1570190437
|type=Added Project
|project=MW-1.35-notes (1.35.0-wmf.1; 2019-10-08)
}}{{Transition
|date=1564506459
|type=Removed Project
|project=Platform Engineering
}}{{Transition
|date=1564496926
|type=Added Project
|project=Platform Engineering
}}{{Transition
|date=1563899447
|type=Entered Column
|project=Wikimedia-Rdbms
|column=Rdbms library
}}{{Transition
|date=1563899447
|type=Exited Column
|project=Wikimedia-Rdbms
|column=Rdbms library
}}{{Transition
|date=1562352169
|type=Removed Project
|project=MW-1.34-notes (1.34.0-wmf.10; 2019-06-18)
}}{{Transition
|date=1562352142
|type=Added Project
|project=Patch-For-Review
}}{{Transition
|date=1560889472
|type=Removed Project
|project=Patch-For-Review
}}{{Transition
|date=1560870077
|type=Added Project
|project=MW-1.34-notes (1.34.0-wmf.10; 2019-06-18)
}}{{Transition
|date=1558472792
|type=Entered Column
|project=Performance-Team
|column=Blocked (old)
}}{{Transition
|date=1558472792
|type=Exited Column
|project=Performance-Team
|column=Doing (old)
}}{{Transition
|date=1558294791
|type=Added Project
|project=phan
}}{{Transition
|date=1557265747
|type=Entered Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1557265747
|type=Exited Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1557241973
|type=Entered Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1557241973
|type=Exited Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1557006284
|type=Entered Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1557006284
|type=Exited Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1556223016
|type=Entered Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1556223016
|type=Exited Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1556040816
|type=Entered Column
|project=Performance-Team
|column=Doing (old)
}}{{Transition
|date=1556040816
|type=Exited Column
|project=Performance-Team
|column=Blocked (old)
}}{{Transition
|date=1555377650
|type=Entered Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=In progress
}}{{Transition
|date=1555377650
|type=Exited Column
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
|column=Untriaged
}}{{Transition
|date=1555358216
|type=Entered Column
|project=Performance-Team
|column=Blocked (old)
}}{{Transition
|date=1555358216
|type=Exited Column
|project=Performance-Team
|column=Inbox
}}{{Transition
|date=1555182165
|type=Removed Project
|project=MediaWiki-extensions-General
}}{{Transition
|date=1555182165
|type=Added Project
|project=Performance-Team
}}{{Transition
|date=1555182158
|type=Added Project
|project=Wikimedia-production-error (ARCHIVED -- Shared Build Failure)
}}{{Transition
|date=1528489024
|type=Added Project
|project=Patch-For-Review
}}{{Transition
|date=1523374932
|type=Entered Column
|project=Wikimedia-Rdbms
|column=Rdbms library
}}{{Transition
|date=1523374932
|type=Exited Column
|project=Wikimedia-Rdbms
|column=Untriaged
}}{{Transition
|date=1523049389
|type=Added Project
|project=MediaWiki-extensions-General
}}{{Transition
|date=1523049389
|type=Added Project
|project=Wikimedia-Rdbms
}}
}}
}}
}}

Latest revision as of 18:01, 22 April 2021

Phabricator Link T191668
Status resolved
Priority High (red)
Points
Phabricator Task Created 2018/04/06 05:16 PM
Wiki Page Created 2019/07/30 11:37 AM
Phabricator Task Last Modified 2020/05/28 12:00 PM
Wiki Page Last Updated 2021/04/22 07:01 PM
Phabricator Task Closed 2019/08/15 12:38 PM
Authored By Umherirrender (Umherirrender)
Assigned To aaron (Aaron Schulz)
Projects
Platform Engineering Initiative Column
Platform Team Workboards Column
Subtasks
    Parent Tasks


    Column Transitions: (Added project: ⇑, Removed project: ⇓,Entered column: ⇒, Exited column: ⇐)

    Project Column Date
    Wikimedia-Rdbms 6 April 2018
    MediaWiki-extensions-General 6 April 2018
    Wikimedia-Rdbms Untriaged 10 April 2018
    Wikimedia-Rdbms Rdbms library 10 April 2018
    Patch-For-Review 8 June 2018
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) 13 April 2019
    MediaWiki-extensions-General 13 April 2019
    Performance-Team 13 April 2019
    Performance-Team Inbox 15 April 2019
    Performance-Team Blocked (old) 15 April 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) Untriaged 15 April 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 15 April 2019
    Performance-Team Blocked (old) 23 April 2019
    Performance-Team Doing (old) 23 April 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 25 April 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 25 April 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 4 May 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 4 May 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 7 May 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 7 May 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 7 May 2019
    Wikimedia-production-error (ARCHIVED -- Shared Build Failure) In progress 7 May 2019
    phan 19 May 2019
    Performance-Team Doing (old) 21 May 2019
    Performance-Team Blocked (old) 21 May 2019
    MW-1.34-notes (1.34.0-wmf.10; 2019-06-18) 18 June 2019
    Patch-For-Review 18 June 2019
    Patch-For-Review 5 July 2019
    MW-1.34-notes (1.34.0-wmf.10; 2019-06-18) 5 July 2019
    Wikimedia-Rdbms Rdbms library 23 July 2019
    Wikimedia-Rdbms Rdbms library 23 July 2019
    Platform Engineering 30 July 2019
    Platform Engineering 30 July 2019
    MW-1.35-notes (1.35.0-wmf.1; 2019-10-08) 4 October 2019
    MW-1.33-notes 28 May 2020