wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-13 17:53:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add typehints to function parameters

Browse source 
Change-Id: I820f7be8486c2f5d560eabe84629dd41db774735
This commit is contained in:
Fomafix 2018-12-16 12:04:49 +01:00
parent 737bfb2c80
commit 6aa0a7016a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/CodeEditorHooks.php
View file

@ -33,7 +33,7 @@ class CodeEditorHooks {
* @param array &$defaultPreferences
* @return bool
*/
public static function getPreferences( $user, &$defaultPreferences ) {
public static function getPreferences( User $user, &$defaultPreferences ) {
$defaultPreferences['usecodeeditor'] = [
'type' => 'api',
'default' => '1',
@ -46,7 +46,7 @@ class CodeEditorHooks {
* @param OutputPage $output
* @return bool
*/
public static function editPageShowEditFormInitial( $editpage, $output ) {
public static function editPageShowEditFormInitial( EditPage $editpage, OutputPage $output ) {
$title = $editpage->getContextTitle();
$model = $editpage->contentModel;
$format = $editpage->contentFormat;