wikimedia/mediawiki-extensions-CodeEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-03 19:26:35 +00:00

Commit graph

Author	SHA1	Message	Date
Roman Stolar	51cd95fac9	Avoid using User::getOption and inject service UserOptionsLookup Remove using of User:getOption since this method will be hard-deprecated. Now it is soft-deprecated Bug: T296083 Change-Id: Iae0c0cd3ab4ffdfd6cfce5e7ced81dfae3d4a359	2021-11-26 08:36:11 +00:00
Fomafix	ad1930d255	Use HookHandlers and implement hook interfaces Change-Id: I9313f4cff24ceb9c83d5a529ec3064330eabb8c6	2021-11-25 20:14:37 +00:00
Fomafix	d7117949b1	Use namespace MediaWiki\Extension\CodeEditor in PHP An alias with the old class name CodeEditorHooks is not added because there are no external findings on https://codesearch.wmcloud.org/search/?q=CodeEditorHooks Change-Id: I88cb3a506d196d918ce852e46433dad808ae2a6c	2021-11-25 19:41:48 +00:00

Author

SHA1

Message

Date

Roman Stolar

51cd95fac9

Avoid using User::getOption and inject service UserOptionsLookup

Remove using of User:getOption since this method will be hard-deprecated. Now it is soft-deprecated

Bug: T296083
Change-Id: Iae0c0cd3ab4ffdfd6cfce5e7ced81dfae3d4a359

2021-11-26 08:36:11 +00:00

Fomafix

ad1930d255

Use HookHandlers and implement hook interfaces

Change-Id: I9313f4cff24ceb9c83d5a529ec3064330eabb8c6

2021-11-25 20:14:37 +00:00

Fomafix

d7117949b1

Use namespace MediaWiki\Extension\CodeEditor in PHP

An alias with the old class name CodeEditorHooks is not added because
there are no external findings on
https://codesearch.wmcloud.org/search/?q=CodeEditorHooks

Change-Id: I88cb3a506d196d918ce852e46433dad808ae2a6c

2021-11-25 19:41:48 +00:00

3 commits